source $stdenv/setup export JAVA_HOME=$jre cat >> props <> $out/bin/aj-runtime-env <