An implementation of the Rope data structure for java