[jboss-user] [JBoss Eclipse IDE (users)] - how to configure JAVA_OPTS