Java Petstore 1.1.2 from JBoss Administration and Deployment book CD, seems to be missing run_petstore.sh?(page 399)Any idea what should be in the script to run JPS application using jboss and catalina?