changes for jar

2020-04-07 18:06:53 +02:00
parent c5463f91f8
commit 40a8b0c290
57 changed files with 1180 additions and 301 deletions
@@ -21,7 +21,7 @@
      <module name="fixminer_source" target="1.8" />
      <module name="gen.jdt" target="1.8" />
      <module name="gen.srcml" target="1.8" />
-      <module name="gumtree (1) (com.github.gumtreediff)" target="1.8" />
+      <module name="gumtree" target="1.8" />
      <module name="RichEdit" target="1.8" />
    </bytecodeTargetLevel>
  </component>