Now attempts to launch with the default Eclipse JRE.  This allows easy
launching of a custom JRE to work around the pulse-java.jar bug in the
recent Ubuntu update.