"...examples/java/OptionalIntervalSampleSat.java" did not exist on "e0ba658dd8f9b0a587fb598225de02698740b6d2"