[jboss-jira] [JBoss JIRA] Created: (AS7-1884) PID file is not deleted when using LAUNCH_JBOSS_IN_BACKGROUND and JBOSS_PIDFILE properties