A Java implementation of INFUSE