A simple Eclipse editor for TSLK.