Simple implementation of a redblack tree against the java set interface