[jboss-user] [Installation, Configuration & DEPLOYMENT] - Re: Linux: Does JBoss write Process ID in a file?