Work around Virgo bug 425655

This workaround should continue to work even with the fix to bug
425655 in place. It relies upon the fact that Virgo's dmk.sh script
adds $JMX_OPTS to the Java command line after $JAVA_OPTS (which
contains incorrect overrides of -Xmx and -XX:MaxPermGen).