pom.xml for server, needed for Jenkins