Yes, in /etc/init.d/jboss I can see this:
export JBOSS_CONSOLE=$JBOSS_HOME/jboss.log
Must have installed it myself but this stuff is ancient (2009) so I never thought of looking there. Any idea how people normally manage the console output? Because it currently fills up the disk every so many weeks.