A Java implementation of Drakon