I needed to give my JBoss more memory.
So I changed the line
set JAVA_OPTS=%JAVA_OPTS% -Dprogram.name=%PROGNAME%
in run.bat to
set JAVA_OPTS=%JAVA_OPTS% -Xmx256m -Dprogram.name=%PROGNAME%
Is this the right place to do it or does JBoss prefer another place to set these options?
That's what it is there for. ;) Unless you are using JAVA_OPTS outside your JBoss environment for running other Java programs that need the same settings, use the JAVA_OPTS in the run.bat/run.sh for your JBoss custom tuning.