Java implementation of FF forked from http://www.inf.kcl.ac.uk/staff/andrew/JavaFF/.