minor cleanup of jboss config scripts