Use NailGunRestart should work even if no server was started yet