eclipse.platform.text