Updated NailgunExecutor to take the java version into account

Use the executable name to decide if the server needs to be re-started.

This causes headaches for firsttime users of pants when they use the wrong JVM to start off with