Fixes split-package issue when compiling classes in src/classes#28

cyrille-artho merged 5 commits intojavapathfinder:java-10javapathfinder/jpf-core:java-10from

gayanW:java-10-27gayanW/jpf-core:java-10-27Copy head branch name to clipboard