Fix incorrect IncompatibleClassChangeError in ClassInfo.getDefaultMethod (#7)
[jpf-core.git] / .idea / main.iml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <module type="JAVA_MODULE" version="4">
3   <component name="NewModuleRootManager" inherit-compiler-output="false">
4     <output url="file://$MODULE_DIR$/build/main" />
5     <output-test url="file://$MODULE_DIR$/build/main" />
6     <exclude-output />
7     <content url="file://$MODULE_DIR$/src/main">
8       <sourceFolder url="file://$MODULE_DIR$/src/main" isTestSource="false" />
9     </content>
10     <orderEntry type="inheritedJdk" />
11     <orderEntry type="sourceFolder" forTests="false" />
12     <orderEntry type="module" module-name="annotations" />
13   </component>
14 </module>