Updated NailgunExecutor to take the java version into account when
deciding if the server needs to be re-started.