Replicode for Java