Platform Text project repository (eclipse.platform.text)