Renamed: pom.xml to pom_devel.xml

Original pom.xml only works when jetty is run using maven on the same dir as pom; it doesn't work if maven builds the package, then jetty is run elsewhere with the war in jetty's webapps.

Plugins (specifically jsp) has to be changed to dependencies
Added: pom.xml in ignore

To ignore the old pom.xml so one can choose between starting jetty by mvm jetty:run-war or systemctl start jetty, and replacing the correct pom