A Java 6 port of corn-cps