Moving maven compiler plugin to master pom.
Petri can now be used outside of Spring framework, with any servlet-api container.