how to change the amount of java memory heap for Jason-JEdit generated processes?how to change the amount of java memory heap fo
how to change the amount of java memory heap for Jason-JEdit generated processes?how to change the amount of java memory heap fo