как изменить объем кучи памяти java для процессов, сгенерированных Jason-JEdit?
Я запускаю код, отредактированный в Jason-JEdit, как часть приложения запускается процесс NetLogo, созданный первым, но появляется ошибка размера кучи. Основной процесс в Jason-Jedit:
пользователь 6006 6003 9 19:44 ? 00:00:02 java -Xms256m -Xmx1024m -classpath ~/Jacamo/lib/jacamo.jar:/usr/local/lib/netlogo5.2/NetLogo.jar:. -jar ~/Jason-1.4.2/bin/jedit/jedit.jar
Сгенерированный процесс от Jason-Jedit:
1-Нормальный процесс запуска агента
пользователь 6055 6006 11 19:44 ? 00:00:00 /usr/lib/jvm/java-7-oracle/bin/java -classpath ~/Jacamo/lib/ant-launcher.jar org.apache.tools.ant.launch.Launcher -e -f bin /build.xml запустить
2- Процесс запуска NetLogo
пользователь 6069 6055 99 19:44 ? 00:00:05 /usr/lib/jvm/java-7-oracle/jre/bin/java -classpath ~/JaCaMo/workingDir:~/JaCaMo/workingDir/bin/classes:~/Jacamo/lib/jason.jar :/usr/local/lib/netlogo5.2/NetLogo.jar jason.infra.centralised.RunCentralisedСистема MASMAS-JNL.mas2j
Как видно, у сгенерированных процессов нет опции размера кучи: -Xms256m -Xmx1024m, как у первого процесса.
Я уже пробовал следующее: 1) Отредактируйте файлы jason.sh/Jacamo.sh, добавив: java -Xms256m -Xmx1024m -classpath [...]
2) Добавьте переменную _JAVA_OPTIONS в .profile export _JAVA_OPTIONS="-Xms256m -Xmx1024m"
И это работает только для основного процесса, приложения Jason-Jedit, но проблема сохраняется в сгенерированном процессе. Любая идея о том, как изменить настройки в JEdit?