fixed restartTomcat() for Fedora16+