LIME-TREE. See CITRUS.