A Java implementation of Iron