pantsbuild/pants — pull request #423 by ericzundel (2014-07-30 20:19:35+00:00)
Title: 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