../ eclipse-ui-editors-3.1.1.jar 20-Jan-2006 13:56 418536 eclipse-ui-editors-3.1.1.pom 20-Jan-2006 13:58 159 eclipse-ui-editors-3.1.1.pom~ 20-Jan-2006 13:58 163