Public repository for code + documentation of the ASD-JRE project