stratosphere/stratosphere — pull request #211 by uce (2013-10-25 11:33:55+00:00)
Title: Use JAVA_RUN in all start scripts

See issue #207 for details.

We would still need to change the last `/` in `DEFAULT_ENV_JAVA_HOME`, but I didn't want to have a conflict with the pull request in #207.