/.classpath/1.1/Thu Apr 19 17:00:12 2007//TPTP_2_1
/.project/1.1/Thu Apr 19 17:00:12 2007//TPTP_2_1
D/META-INF////
D/bin////
/build.properties/1.2/Mon Oct 20 15:58:06 2008//TPTP_2_1
/plugin.properties/1.1/Mon Oct 20 15:58:06 2008//TPTP_2_1
D/src////