/junit4/src/main/java/org/junit/experimental/max/
../
CouldNotReadCoreException.java
MaxCore.java
MaxHistory.java