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