added test case to TestRestartServer.java