wneuper@59451: # Java runtime options
wneuper@59451: -server
wneuper@59451: -Dfile.encoding=UTF-8
wneuper@59451: -Disabelle.threads=0
wneuper@59451: -Duser.language=en
wneuper@59451: -Dawt.useSystemAAFontSettings=on
wneuper@59451: -Dswing.aatext=true
wneuper@59451: -Dapple.laf.useScreenMenuBar=true
wneuper@59451: -Dapple.awt.application.name=Isabelle
wneuper@59451: -Xms512m
wneuper@59451: -Xmx2560m
wneuper@59451: -Xss8m
wneuper@59451: -Disabelle.jedit_server=Isabelle2018