/ajde.core/testdata/coverage/pkg/
../
InPackage.java