...
You can shut off the server by doing ctrl+c on the console that you started the server with.
11 - Patch
...
The Server
You can patch a JBoss installation by dropping the patch zip file onto JBoss Admin console and follow the ensuing instructions.
12 - Troubleshooting
The startup option -Djavax.xml.transform.TransformerFactory=com.sun.org.apache.xalan.internal.xsltc.trax.TransformerFactoryImpl seems to be necessary only during the Magnolia install phase or it will abort with errors such as
...