Do not set MaxPermGen for Tomcat and Jetty

Closes #17