# java-scratchspace combined effort to get a better java environment for CRUX