Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala - View it on GitHub