I have a Git repository that contains a bunch of top-level maven projects (each sits in their own sub-directory with a pom.xml). Top-level here means that these projects sit
Well there is the best practise of not repeating yourself. So having a super POM would be good from that stand point.
Id probably go with option 1. Disk space is usually cheap.
But 3 would make it easier to deploy to new systems, without setting up Jenkins again.