stratosphere/stratosphere — pull request #253 by fhueske (2013-11-08 08:38:17+00:00)
Title: Manually configured JAVA_HOME is preferred over system configuration. 

Manually configured JAVA_HOME is preferred over system configuration.
No default JAVA_HOME is used. Instead an error message is shown. Addresses #207