/ajde.core/testdata/coverage/

• ../
• ModelCoverage.java
• coverage.lst
• pkg