java implementation of 2-3 finger trees