The following one-line commit avoid problems in the case the user modifies set-java-home (or we keep an old set-java-home).  If calling set-java-hme does not set OPENDS_JAVA_BIN, just try to figure it out from the environment (instead of assuming that set-java-home will do that *always*).