openabi .......\.classpath .......\.project .......\.settings .......\.........\org.eclipse.jdt.core.prefs .......\bin .......\...\Trace2Seq.class .......\src .......\...\Trace2Seq.java