Add java.lang.Class#getModule to MJI model class#125

cyrille-artho merged 1 commit intojavapathfinder:java-10javapathfinder/jpf-core:java-10from

gayanW:java-10_124gayanW/jpf-core:java-10_124Copy head branch name to clipboard