A high-quality rope implementation for Java.