[jboss-user] [Beginner's Corner] - Re: How to add Java system properties to JBoss startup script?