JRL Java code proofs of concept