if [ -e .attrs.sh ]; then source .attrs.sh; fi source $stdenv/setup export JAVA_HOME=$jre cat >> props <> $out/bin/aj-runtime-env <