Jetty - OutOfMemoryError: PermGen space #2

alla fine abbiamo risolto così:

file /etc/default/jetty

JAVA_OPTIONS="-Xmx1280M -Djava.awt.headless=true -XX:+UseParallelGC -XX:-DisableExplicitGC -XX:PermSize=128M -XX:MaxPermSize=256M"