../ eclipse-ui-workbench-texteditor-3.1.1.jar 20-Jan-2006 14:38 431236 eclipse-ui-workbench-texteditor-3.1.1.pom 20-Jan-2006 14:38 172