eclipse edit configuration JAVA_OPTS