From: rtrimana <rtrimana@uci.edu>
Date: Fri, 26 Jul 2019 18:26:05 +0000 (-0700)
Subject: Adding tracked variables in main.jpf.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=3086d5cc97caa3c09a1a686620b9df8253a2ac08;p=jpf-core.git

Adding tracked variables in main.jpf.
---

diff --git a/examples/Choice.groovy b/examples/Choice.groovy
new file mode 100644
index 0000000..25455a8
--- /dev/null
+++ b/examples/Choice.groovy
@@ -0,0 +1,19 @@
+import gov.nasa.jpf.vm.Verify;
+
+//class Choice {
+
+//	static void main(String[] args) {		
+	while(true) {
+		int number = Verify.getInt(0, 10);
+		println number
+		//println ""
+
+		//boolean choice = args[0].toBoolean()
+		boolean choice = Verify.getBoolean()
+		if (choice == true)
+			println "This time it is True"
+		else
+			println "This time it is False"
+	}
+	//}		
+//}
diff --git a/examples/ClassLoaderTest.java b/examples/ClassLoaderTest.java
new file mode 100644
index 0000000..1ac1791
--- /dev/null
+++ b/examples/ClassLoaderTest.java
@@ -0,0 +1,38 @@
+import org.objectweb.asm.Opcodes;
+import org.objectweb.asm.ClassWriter;
+import org.objectweb.asm.MethodVisitor;
+
+import java.util.Map;
+import java.util.HashMap;
+import java.lang.ClassLoader;
+
+public class ClassLoaderTest {
+    private void loadMagic() {
+        ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS);
+        cw.visit(Opcodes.V1_4, Opcodes.ACC_PUBLIC, "sun/reflect/GroovyMagic", null, "sun/reflect/MagicAccessorImpl", null);
+        MethodVisitor mv = cw.visitMethod(Opcodes.ACC_PUBLIC, "<init>", "()V", null, null);
+        mv.visitCode();
+        mv.visitVarInsn(ALOAD, 0);
+        mv.visitMethodInsn(INVOKESPECIAL, "sun/reflect/MagicAccessorImpl", "<init>", "()V", false);
+        mv.visitInsn(RETURN);
+        mv.visitMaxs(0,0);
+        mv.visitEnd();
+        cw.visitEnd();
+
+        define(cw.toByteArray(), "sun.reflect.GroovyMagic");
+    }
+
+    protected void define(byte[] bytes, final String name) {
+        //knownClasses.put(name, defineClass(name, bytes, 0, bytes.length));
+        Class cls = defineClass(name, bytes, 0, bytes.length);
+    }
+
+    protected final Map<String,Class> knownClasses = new HashMap<String,Class>();
+
+    public static void main(String[] args) {
+		
+		
+        ClassLoader cl = new ClassLoader();
+        Class cls = defineClass(name, bytes, 0, bytes.length);
+    }
+}
diff --git a/examples/Permutation.groovy b/examples/Permutation.groovy
new file mode 100644
index 0000000..0c5e2ab
--- /dev/null
+++ b/examples/Permutation.groovy
@@ -0,0 +1,63 @@
+//import gov.nasa.jpf.vm.Verify
+
+//int count1 = Verify.getIntFromList(1,2,3)
+//int count2 = Verify.getIntFromList(4,5,6)
+//int count3 = Verify.getIntFromList(0)
+//println "Count1: " + count1
+//println "Count2:   " + count2
+//println "Count3:     " + count3
+
+/*def list = [[1,2,3],
+            [1,3,2],
+            [2,1,3],
+            [2,3,1],
+            [3,1,2],
+            [3,2,1]]
+int count = Verify.getInt(0,5)
+
+list[count].each {
+  switch(it) {
+    case 1:
+      //appObject.setValue([name: "Touched", value: "Touched", deviceId: 0, descriptionText: "",
+			//		   displayed: true, linkText: "", isStateChange: false, unit: "", data: []])
+      println "1";
+      break;
+    case 2:
+      //lockObject.setValue([name: "lock0", value: "locked", deviceId: 0, descriptionText: "",
+			//		   displayed: true, linkText: "", isStateChange: false, unit: "", data: []])
+      println "   2";
+			break;
+    case 3:
+      //lockObject.setValue([name: "lock0", value: "unlocked", deviceId: 0, descriptionText: "",
+			//		   displayed: true, linkText: "", isStateChange: false, unit: "", data: []])
+      println "      3";
+      break;
+    default:
+      break;
+  }
+}*/
+
+def permuteHelper(nums, curr, list) {
+  if (curr == nums.size() - 1) {
+    list.add(nums)
+  } else {
+    for(int i=curr; i<nums.size(); i++) {
+      swap(nums, i, curr)
+      permuteHelper(nums, curr + 1, list)
+      swap(nums, curr, i)
+    }
+  }
+}
+    
+def swap(nums, src, dest) {
+  int temp = nums[dest];
+  nums[dest] = nums[src];
+  nums[src] = temp;
+}
+
+def nums = [1,2,3,4]
+def list = [[]]
+permuteHelper(nums, 0, list)
+
+println list
+
diff --git a/examples/Racer.jpf b/examples/Racer.jpf
new file mode 100644
index 0000000..26fd5f7
--- /dev/null
+++ b/examples/Racer.jpf
@@ -0,0 +1,6 @@
+target = Racer
+
+listener=gov.nasa.jpf.listener.PreciseRaceDetector
+
+report.console.property_violation=error,trace
+
diff --git a/examples/SimpleClassLoader.java b/examples/SimpleClassLoader.java
new file mode 100644
index 0000000..fefb7b7
--- /dev/null
+++ b/examples/SimpleClassLoader.java
@@ -0,0 +1,17 @@
+import java.util.Map;
+import java.util.HashMap;
+
+/**
+ * Special class loader, which when running on Sun VM allows to generate accessor classes for any method
+ */
+public class SimpleClassLoader extends ClassLoader {
+
+    public static void main(String[] args) throws Exception {
+        SimpleClassLoader sim = new SimpleClassLoader();
+        //Class clsObj = sim.loadClass("[Ljava.lang.Object;BeanInfo;");
+        
+        //Class cls = sim.loadClass("java/lang/Object");
+        Class cls = sim.loadClass("java.lang.Object");
+        //Class cls = Class.forName("groovy.runtime.metaclass.[Ljava.lang.Object;MetaClass");
+    }
+}
diff --git a/examples/groovy-2.4.8/META-INF/LICENSE b/examples/groovy-2.4.8/META-INF/LICENSE
deleted file mode 100644
index b301ada..0000000
--- a/examples/groovy-2.4.8/META-INF/LICENSE
+++ /dev/null
@@ -1,215 +0,0 @@
-
-                                 Apache License
-                           Version 2.0, January 2004
-                        http://www.apache.org/licenses/
-
-   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
-
-   1. Definitions.
-
-      "License" shall mean the terms and conditions for use, reproduction,
-      and distribution as defined by Sections 1 through 9 of this document.
-
-      "Licensor" shall mean the copyright owner or entity authorized by
-      the copyright owner that is granting the License.
-
-      "Legal Entity" shall mean the union of the acting entity and all
-      other entities that control, are controlled by, or are under common
-      control with that entity. For the purposes of this definition,
-      "control" means (i) the power, direct or indirect, to cause the
-      direction or management of such entity, whether by contract or
-      otherwise, or (ii) ownership of fifty percent (50%) or more of the
-      outstanding shares, or (iii) beneficial ownership of such entity.
-
-      "You" (or "Your") shall mean an individual or Legal Entity
-      exercising permissions granted by this License.
-
-      "Source" form shall mean the preferred form for making modifications,
-      including but not limited to software source code, documentation
-      source, and configuration files.
-
-      "Object" form shall mean any form resulting from mechanical
-      transformation or translation of a Source form, including but
-      not limited to compiled object code, generated documentation,
-      and conversions to other media types.
-
-      "Work" shall mean the work of authorship, whether in Source or
-      Object form, made available under the License, as indicated by a
-      copyright notice that is included in or attached to the work
-      (an example is provided in the Appendix below).
-
-      "Derivative Works" shall mean any work, whether in Source or Object
-      form, that is based on (or derived from) the Work and for which the
-      editorial revisions, annotations, elaborations, or other modifications
-      represent, as a whole, an original work of authorship. For the purposes
-      of this License, Derivative Works shall not include works that remain
-      separable from, or merely link (or bind by name) to the interfaces of,
-      the Work and Derivative Works thereof.
-
-      "Contribution" shall mean any work of authorship, including
-      the original version of the Work and any modifications or additions
-      to that Work or Derivative Works thereof, that is intentionally
-      submitted to Licensor for inclusion in the Work by the copyright owner
-      or by an individual or Legal Entity authorized to submit on behalf of
-      the copyright owner. For the purposes of this definition, "submitted"
-      means any form of electronic, verbal, or written communication sent
-      to the Licensor or its representatives, including but not limited to
-      communication on electronic mailing lists, source code control systems,
-      and issue tracking systems that are managed by, or on behalf of, the
-      Licensor for the purpose of discussing and improving the Work, but
-      excluding communication that is conspicuously marked or otherwise
-      designated in writing by the copyright owner as "Not a Contribution."
-
-      "Contributor" shall mean Licensor and any individual or Legal Entity
-      on behalf of whom a Contribution has been received by Licensor and
-      subsequently incorporated within the Work.
-
-   2. Grant of Copyright License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      copyright license to reproduce, prepare Derivative Works of,
-      publicly display, publicly perform, sublicense, and distribute the
-      Work and such Derivative Works in Source or Object form.
-
-   3. Grant of Patent License. Subject to the terms and conditions of
-      this License, each Contributor hereby grants to You a perpetual,
-      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
-      (except as stated in this section) patent license to make, have made,
-      use, offer to sell, sell, import, and otherwise transfer the Work,
-      where such license applies only to those patent claims licensable
-      by such Contributor that are necessarily infringed by their
-      Contribution(s) alone or by combination of their Contribution(s)
-      with the Work to which such Contribution(s) was submitted. If You
-      institute patent litigation against any entity (including a
-      cross-claim or counterclaim in a lawsuit) alleging that the Work
-      or a Contribution incorporated within the Work constitutes direct
-      or contributory patent infringement, then any patent licenses
-      granted to You under this License for that Work shall terminate
-      as of the date such litigation is filed.
-
-   4. Redistribution. You may reproduce and distribute copies of the
-      Work or Derivative Works thereof in any medium, with or without
-      modifications, and in Source or Object form, provided that You
-      meet the following conditions:
-
-      (a) You must give any other recipients of the Work or
-          Derivative Works a copy of this License; and
-
-      (b) You must cause any modified files to carry prominent notices
-          stating that You changed the files; and
-
-      (c) You must retain, in the Source form of any Derivative Works
-          that You distribute, all copyright, patent, trademark, and
-          attribution notices from the Source form of the Work,
-          excluding those notices that do not pertain to any part of
-          the Derivative Works; and
-
-      (d) If the Work includes a "NOTICE" text file as part of its
-          distribution, then any Derivative Works that You distribute must
-          include a readable copy of the attribution notices contained
-          within such NOTICE file, excluding those notices that do not
-          pertain to any part of the Derivative Works, in at least one
-          of the following places: within a NOTICE text file distributed
-          as part of the Derivative Works; within the Source form or
-          documentation, if provided along with the Derivative Works; or,
-          within a display generated by the Derivative Works, if and
-          wherever such third-party notices normally appear. The contents
-          of the NOTICE file are for informational purposes only and
-          do not modify the License. You may add Your own attribution
-          notices within Derivative Works that You distribute, alongside
-          or as an addendum to the NOTICE text from the Work, provided
-          that such additional attribution notices cannot be construed
-          as modifying the License.
-
-      You may add Your own copyright statement to Your modifications and
-      may provide additional or different license terms and conditions
-      for use, reproduction, or distribution of Your modifications, or
-      for any such Derivative Works as a whole, provided Your use,
-      reproduction, and distribution of the Work otherwise complies with
-      the conditions stated in this License.
-
-   5. Submission of Contributions. Unless You explicitly state otherwise,
-      any Contribution intentionally submitted for inclusion in the Work
-      by You to the Licensor shall be under the terms and conditions of
-      this License, without any additional terms or conditions.
-      Notwithstanding the above, nothing herein shall supersede or modify
-      the terms of any separate license agreement you may have executed
-      with Licensor regarding such Contributions.
-
-   6. Trademarks. This License does not grant permission to use the trade
-      names, trademarks, service marks, or product names of the Licensor,
-      except as required for reasonable and customary use in describing the
-      origin of the Work and reproducing the content of the NOTICE file.
-
-   7. Disclaimer of Warranty. Unless required by applicable law or
-      agreed to in writing, Licensor provides the Work (and each
-      Contributor provides its Contributions) on an "AS IS" BASIS,
-      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
-      implied, including, without limitation, any warranties or conditions
-      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
-      PARTICULAR PURPOSE. You are solely responsible for determining the
-      appropriateness of using or redistributing the Work and assume any
-      risks associated with Your exercise of permissions under this License.
-
-   8. Limitation of Liability. In no event and under no legal theory,
-      whether in tort (including negligence), contract, or otherwise,
-      unless required by applicable law (such as deliberate and grossly
-      negligent acts) or agreed to in writing, shall any Contributor be
-      liable to You for damages, including any direct, indirect, special,
-      incidental, or consequential damages of any character arising as a
-      result of this License or out of the use or inability to use the
-      Work (including but not limited to damages for loss of goodwill,
-      work stoppage, computer failure or malfunction, or any and all
-      other commercial damages or losses), even if such Contributor
-      has been advised of the possibility of such damages.
-
-   9. Accepting Warranty or Additional Liability. While redistributing
-      the Work or Derivative Works thereof, You may choose to offer,
-      and charge a fee for, acceptance of support, warranty, indemnity,
-      or other liability obligations and/or rights consistent with this
-      License. However, in accepting such obligations, You may act only
-      on Your own behalf and on Your sole responsibility, not on behalf
-      of any other Contributor, and only if You agree to indemnify,
-      defend, and hold each Contributor harmless for any liability
-      incurred by, or claims asserted against, such Contributor by reason
-      of your accepting any such warranty or additional liability.
-
-   END OF TERMS AND CONDITIONS
-
-   APPENDIX: How to apply the Apache License to your work.
-
-      To apply the Apache License to your work, attach the following
-      boilerplate notice, with the fields enclosed by brackets "[]"
-      replaced with your own identifying information. (Don't include
-      the brackets!)  The text should be enclosed in the appropriate
-      comment syntax for the file format. We also recommend that a
-      file or class name and description of purpose be included on the
-      same "printed page" as the copyright notice for easier
-      identification within third-party archives.
-
-   Copyright [yyyy] [name of copyright owner]
-
-   Licensed under the Apache License, Version 2.0 (the "License");
-   you may not use this file except in compliance with the License.
-   You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-   Unless required by applicable law or agreed to in writing, software
-   distributed under the License is distributed on an "AS IS" BASIS,
-   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-   See the License for the specific language governing permissions and
-   limitations under the License.
-
-------------------------------------------------------------------------
-
-ANTLR 2 License
-
-Antlr2 is released in the public domain.
-See licenses/antlr2-license.txt for details.
-
-------------------------------------------------------------------------
-
-ASM 4 License
-
-ASM 4 uses a 3-clause BSD license. For details, see licenses/asm-license.txt.
diff --git a/examples/groovy-2.4.8/META-INF/MANIFEST.MF b/examples/groovy-2.4.8/META-INF/MANIFEST.MF
deleted file mode 100644
index 0c2e9e6..0000000
--- a/examples/groovy-2.4.8/META-INF/MANIFEST.MF
+++ /dev/null
@@ -1,102 +0,0 @@
-Manifest-Version: 1.0
-Ant-Version: Apache Ant 1.9.3
-Originally-Created-By: 1.8.0_111-b14 (Oracle Corporation)
-Export-Package: groovy.beans;version="2.4.8",groovy.grape;version="2.4
- .8",groovy.inspect;version="2.4.8",groovy.io;version="2.4.8",groovy.l
- ang;version="2.4.8",groovy.security;version="2.4.8",groovy.time;versi
- on="2.4.8",groovy.transform;version="2.4.8",groovy.transform.builder;
- version="2.4.8",groovy.transform.stc;version="2.4.8",groovy.ui;versio
- n="2.4.8",groovy.util;version="2.4.8",groovy.util.logging;version="2.
- 4.8",groovy.xml;version="2.4.8",groovyjarjarantlr;version="2.4.8",gro
- ovyjarjarantlr.ASdebug;version="2.4.8",groovyjarjarantlr.actions.cpp;
- version="2.4.8",groovyjarjarantlr.actions.csharp;version="2.4.8",groo
- vyjarjarantlr.actions.java;version="2.4.8",groovyjarjarantlr.actions.
- python;version="2.4.8",groovyjarjarantlr.build;version="2.4.8",groovy
- jarjarantlr.collections;version="2.4.8",groovyjarjarantlr.collections
- .impl;version="2.4.8",groovyjarjarantlr.debug;version="2.4.8",groovyj
- arjarantlr.debug.misc;version="2.4.8",groovyjarjarantlr.preprocessor;
- version="2.4.8",groovyjarjarasm.asm;version="2.4.8",groovyjarjarasm.a
- sm.commons;version="2.4.8",groovyjarjarasm.asm.signature;version="2.4
- .8",groovyjarjarasm.asm.tree;version="2.4.8",groovyjarjarasm.asm.util
- ;version="2.4.8",groovyjarjarcommonscli;version="2.4.8",org.codehaus.
- groovy;version="2.4.8",org.codehaus.groovy.antlr;version="2.4.8",org.
- codehaus.groovy.antlr.java;version="2.4.8",org.codehaus.groovy.antlr.
- parser;version="2.4.8",org.codehaus.groovy.antlr.treewalker;version="
- 2.4.8",org.codehaus.groovy.ast;version="2.4.8",org.codehaus.groovy.as
- t.builder;version="2.4.8",org.codehaus.groovy.ast.expr;version="2.4.8
- ",org.codehaus.groovy.ast.stmt;version="2.4.8",org.codehaus.groovy.as
- t.tools;version="2.4.8",org.codehaus.groovy.classgen;version="2.4.8",
- org.codehaus.groovy.classgen.asm;version="2.4.8",org.codehaus.groovy.
- classgen.asm.indy;version="2.4.8",org.codehaus.groovy.classgen.asm.sc
- ;version="2.4.8",org.codehaus.groovy.control;version="2.4.8",org.code
- haus.groovy.control.customizers;version="2.4.8",org.codehaus.groovy.c
- ontrol.customizers.builder;version="2.4.8",org.codehaus.groovy.contro
- l.io;version="2.4.8",org.codehaus.groovy.control.messages;version="2.
- 4.8",org.codehaus.groovy.plugin;version="2.4.8",org.codehaus.groovy.r
- eflection;version="2.4.8",org.codehaus.groovy.reflection.android;vers
- ion="2.4.8",org.codehaus.groovy.reflection.stdclasses;version="2.4.8"
- ,org.codehaus.groovy.reflection.v7;version="2.4.8",org.codehaus.groov
- y.runtime;version="2.4.8",org.codehaus.groovy.runtime.callsite;versio
- n="2.4.8",org.codehaus.groovy.runtime.dgmimpl;version="2.4.8",org.cod
- ehaus.groovy.runtime.dgmimpl.arrays;version="2.4.8",org.codehaus.groo
- vy.runtime.m12n;version="2.4.8",org.codehaus.groovy.runtime.memoize;v
- ersion="2.4.8",org.codehaus.groovy.runtime.metaclass;version="2.4.8",
- org.codehaus.groovy.runtime.powerassert;version="2.4.8",org.codehaus.
- groovy.runtime.typehandling;version="2.4.8",org.codehaus.groovy.runti
- me.wrappers;version="2.4.8",org.codehaus.groovy.syntax;version="2.4.8
- ",org.codehaus.groovy.tools;version="2.4.8",org.codehaus.groovy.tools
- .ast;version="2.4.8",org.codehaus.groovy.tools.gse;version="2.4.8",or
- g.codehaus.groovy.tools.javac;version="2.4.8",org.codehaus.groovy.too
- ls.shell;version="2.4.8",org.codehaus.groovy.tools.shell.util;version
- ="2.4.8",org.codehaus.groovy.tools.xml;version="2.4.8",org.codehaus.g
- roovy.transform;version="2.4.8",org.codehaus.groovy.transform.sc;vers
- ion="2.4.8",org.codehaus.groovy.transform.sc.transformers;version="2.
- 4.8",org.codehaus.groovy.transform.stc;version="2.4.8",org.codehaus.g
- roovy.transform.tailrec;version="2.4.8",org.codehaus.groovy.transform
- .trait;version="2.4.8",org.codehaus.groovy.util;version="2.4.8",org.c
- odehaus.groovy.vmplugin;version="2.4.8",org.codehaus.groovy.vmplugin.
- v5;version="2.4.8",org.codehaus.groovy.vmplugin.v6;version="2.4.8",or
- g.codehaus.groovy.vmplugin.v7;version="2.4.8",overview.html;version="
- 2.4.8",overviewj.html;version="2.4.8"
-Bundle-SymbolicName: groovy
-Bundle-Version: 2.4.8
-Bundle-Name: Groovy Runtime
-Bundle-ManifestVersion: 2
-Import-Package: com.thoughtworks.xstream;resolution:=optional;version=
- "[1.4,2)",com.thoughtworks.xstream.io;resolution:=optional;version="[
- 1.4,2)",com.thoughtworks.xstream.io.xml;resolution:=optional;version=
- "[1.4,2)",javax.swing;resolution:=optional,javax.swing.border;resolut
- ion:=optional,javax.swing.event;resolution:=optional,javax.swing.text
- ;resolution:=optional,javax.swing.tree;resolution:=optional,javax.xml
- .parsers;resolution:=optional,org.apache.ivy;resolution:=optional;ver
- sion="[2.0,3)",org.apache.ivy.core.cache;resolution:=optional;version
- ="[2.0,3)",org.apache.ivy.core.event;resolution:=optional;version="[2
- .0,3)",org.apache.ivy.core.event.download;resolution:=optional;versio
- n="[2.0,3)",org.apache.ivy.core.event.resolve;resolution:=optional;ve
- rsion="[2.0,3)",org.apache.ivy.core.module.descriptor;resolution:=opt
- ional;version="[2.0,3)",org.apache.ivy.core.module.id;resolution:=opt
- ional;version="[2.0,3)",org.apache.ivy.core.report;resolution:=option
- al;version="[2.0,3)",org.apache.ivy.core.resolve;resolution:=optional
- ;version="[2.0,3)",org.apache.ivy.core.settings;resolution:=optional;
- version="[2.0,3)",org.apache.ivy.plugins.matcher;resolution:=optional
- ;version="[2.0,3)",org.apache.ivy.plugins.resolver;resolution:=option
- al;version="[2.0,3)",org.apache.ivy.util;resolution:=optional;version
- ="[2.0,3)",org.fusesource.jansi;resolution:=optional;version="[1.11,2
- )",org.w3c.dom;resolution:=optional
-Created-By: 1.8.0_111 (Oracle Corporation)
-Tool: Bnd-2.1.0.20130426-122213
-Built-By: paulk
-Extension-Name: groovy
-Specification-Title: Groovy: a powerful, dynamic language for the JVM
-Specification-Version: 2.4.8
-Specification-Vendor: The Apache Software Foundation
-Implementation-Title: Groovy: a powerful, dynamic language for the JVM
-Implementation-Version: 2.4.8
-Implementation-Vendor: The Apache Software Foundation
-Bundle-Description: Groovy Runtime
-Bundle-Vendor: The Apache Software Foundation
-Bundle-ClassPath: .
-Eclipse-BuddyPolicy: dependent
-DynamicImport-Package: *
-Main-class: groovy.ui.GroovyMain
-
diff --git a/examples/groovy-2.4.8/META-INF/NOTICE b/examples/groovy-2.4.8/META-INF/NOTICE
deleted file mode 100644
index ecb27f2..0000000
--- a/examples/groovy-2.4.8/META-INF/NOTICE
+++ /dev/null
@@ -1,8 +0,0 @@
-Apache Groovy
-Copyright 2003-2017 The Apache Software Foundation
-
-This product includes software developed at
-The Apache Software Foundation (http://www.apache.org/).
-
-This product includes/uses ANTLR (http://www.antlr2.org/)
-developed by Terence Parr 1989-2006
\ No newline at end of file
diff --git a/examples/groovy-2.4.8/META-INF/dgminfo b/examples/groovy-2.4.8/META-INF/dgminfo
deleted file mode 100644
index 8e8e722..0000000
Binary files a/examples/groovy-2.4.8/META-INF/dgminfo and /dev/null differ
diff --git a/examples/groovy-2.4.8/META-INF/groovy-release-info.properties b/examples/groovy-2.4.8/META-INF/groovy-release-info.properties
deleted file mode 100644
index 535abda..0000000
--- a/examples/groovy-2.4.8/META-INF/groovy-release-info.properties
+++ /dev/null
@@ -1,23 +0,0 @@
-#
-#  Licensed to the Apache Software Foundation (ASF) under one
-#  or more contributor license agreements.  See the NOTICE file
-#  distributed with this work for additional information
-#  regarding copyright ownership.  The ASF licenses this file
-#  to you under the Apache License, Version 2.0 (the
-#  "License"); you may not use this file except in compliance
-#  with the License.  You may obtain a copy of the License at
-#
-#    http://www.apache.org/licenses/LICENSE-2.0
-#
-#  Unless required by applicable law or agreed to in writing,
-#  software distributed under the License is distributed on an
-#  "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-#  KIND, either express or implied.  See the License for the
-#  specific language governing permissions and limitations
-#  under the License.
-#
-
-ImplementationVersion=2.4.8
-BundleVersion=2.4.8
-BuildDate=10-Jan-2017
-BuildTime=06:56 PM
\ No newline at end of file
diff --git a/examples/groovy-2.4.8/META-INF/licenses/antlr2-license.txt b/examples/groovy-2.4.8/META-INF/licenses/antlr2-license.txt
deleted file mode 100644
index 3ce8ed2..0000000
--- a/examples/groovy-2.4.8/META-INF/licenses/antlr2-license.txt
+++ /dev/null
@@ -1,23 +0,0 @@
-ANTLR 2 License
-
-We reserve no legal rights to the ANTLR--it is fully in the public domain. An individual or company may do
-whatever they wish with source code distributed with ANTLR or the code generated by ANTLR, including the
-incorporation of ANTLR, or its output, into commerical software.
-
-We encourage users to develop software with ANTLR. However, we do ask that credit is given to us for
-developing ANTLR. By "credit", we mean that if you use ANTLR or incorporate any source code into one of your
-programs (commercial product, research project, or otherwise) that you acknowledge this fact somewhere in
-the documentation, research report, etc... If you like ANTLR and have developed a nice tool with the output,
-please mention that you developed it using ANTLR. In addition, we ask that the headers remain intact in our
-source code. As long as these guidelines are kept, we expect to continue enhancing this system and expect to
-make other tools available as they are completed.
-
-In countries where the Public Domain status of the work may not be valid, the author grants a copyright
-licence to the general public to deal in the work without restriction and permission to sublicence derivates
-under the terms of any (OSI approved) Open Source licence.
-
-The Python parser generator code under antlr/actions/python/ is covered by the 3-clause BSD licence (this
-part is included in the binary JAR files); the run-time part under lib/python/ is covered by the GNU GPL,
-version 3 or later (this part is not included in the binary JAR files). See [1] for the full details.
-
-https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=750643#80%22
diff --git a/examples/groovy-2.4.8/META-INF/licenses/asm-license.txt b/examples/groovy-2.4.8/META-INF/licenses/asm-license.txt
deleted file mode 100644
index ca6173e..0000000
--- a/examples/groovy-2.4.8/META-INF/licenses/asm-license.txt
+++ /dev/null
@@ -1,31 +0,0 @@
-ASM 4 License
-
-Copyright (c) 2000-2011 INRIA, France Telecom
-All rights reserved.
-
-Redistribution and use in source and binary forms, with or without
-modification, are permitted provided that the following conditions
-are met:
-
-1. Redistributions of source code must retain the above copyright
-   notice, this list of conditions and the following disclaimer.
-
-2. Redistributions in binary form must reproduce the above copyright
-   notice, this list of conditions and the following disclaimer in the
-   documentation and/or other materials provided with the distribution.
-
-3. Neither the name of the copyright holders nor the names of its
-   contributors may be used to endorse or promote products derived from
-   this software without specific prior written permission.
-
-THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
-AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
-IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
-ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
-LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
-CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
-SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
-INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
-CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
-ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF
-THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/examples/groovy-2.4.8/META-INF/services/org.codehaus.groovy.source.Extensions b/examples/groovy-2.4.8/META-INF/services/org.codehaus.groovy.source.Extensions
deleted file mode 100644
index 2e9df17..0000000
--- a/examples/groovy-2.4.8/META-INF/services/org.codehaus.groovy.source.Extensions
+++ /dev/null
@@ -1,22 +0,0 @@
-# Licensed to the Apache Software Foundation (ASF) under one or more
-# contributor license agreements.  See the NOTICE file distributed with
-# this work for additional information regarding copyright ownership.
-# The ASF licenses this file to You under the Apache License, Version 2.0
-# (the "License"); you may not use this file except in compliance with
-# the License.  You may obtain a copy of the License at
-#
-#     http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-# Format: one extension on each line without the leading "*."
-# Listed below are default groovy source file extensions.
-
-# NOTE: This implementation of supporting multiple file extensions is experimental and
-# the exact implementation details may vary when modularization gets introduced in
-# groovy 2.0. However, in terms of the behavior, this support will remain intact.
-groovy
\ No newline at end of file
diff --git a/examples/groovy-2.4.8/META-INF/services/org.codehaus.groovy.transform.ASTTransformation b/examples/groovy-2.4.8/META-INF/services/org.codehaus.groovy.transform.ASTTransformation
deleted file mode 100644
index 63a37f4..0000000
--- a/examples/groovy-2.4.8/META-INF/services/org.codehaus.groovy.transform.ASTTransformation
+++ /dev/null
@@ -1,20 +0,0 @@
-# Licensed to the Apache Software Foundation (ASF) under one or more
-# contributor license agreements.  See the NOTICE file distributed with
-# this work for additional information regarding copyright ownership.
-# The ASF licenses this file to You under the Apache License, Version 2.0
-# (the "License"); you may not use this file except in compliance with
-# the License.  You may obtain a copy of the License at
-#
-#     http://www.apache.org/licenses/LICENSE-2.0
-#
-# Unless required by applicable law or agreed to in writing, software
-# distributed under the License is distributed on an "AS IS" BASIS,
-# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-# See the License for the specific language governing permissions and
-# limitations under the License.
-
-# global transformation to handle @Grab annotation
-groovy.grape.GrabAnnotationTransformation
-
-#global transformation for AST Builder
-org.codehaus.groovy.ast.builder.AstBuilderTransformation
diff --git a/examples/groovy-2.4.8/groovy-2.4.8.jar b/examples/groovy-2.4.8/groovy-2.4.8.jar
deleted file mode 100644
index be156d8..0000000
Binary files a/examples/groovy-2.4.8/groovy-2.4.8.jar and /dev/null differ
diff --git a/examples/groovy-2.4.8/groovy/grape/defaultGrapeConfig.xml b/examples/groovy-2.4.8/groovy/grape/defaultGrapeConfig.xml
deleted file mode 100644
index 11161d3..0000000
--- a/examples/groovy-2.4.8/groovy/grape/defaultGrapeConfig.xml
+++ /dev/null
@@ -1,35 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<ivysettings>
-  <settings defaultResolver="downloadGrapes"/>
-  <resolvers>
-    <chain name="downloadGrapes" returnFirst="true">
-      <filesystem name="cachedGrapes">
-        <ivy pattern="${user.home}/.groovy/grapes/[organisation]/[module]/ivy-[revision].xml"/>
-        <artifact pattern="${user.home}/.groovy/grapes/[organisation]/[module]/[type]s/[artifact]-[revision](-[classifier]).[ext]"/>
-      </filesystem>
-      <ibiblio name="localm2" root="file:${user.home}/.m2/repository/" checkmodified="true" changingPattern=".*" changingMatcher="regexp" m2compatible="true"/>
-      <!-- todo add 'endorsed groovy extensions' resolver here -->
-      <ibiblio name="jcenter" root="https://jcenter.bintray.com/" m2compatible="true"/>
-      <ibiblio name="ibiblio" m2compatible="true"/>
-    </chain>
-  </resolvers>
-</ivysettings>
diff --git a/examples/groovy-2.4.8/groovy/inspect/package.html b/examples/groovy-2.4.8/groovy/inspect/package.html
deleted file mode 100644
index 6d80c2b..0000000
--- a/examples/groovy-2.4.8/groovy/inspect/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package groovy.inspect.*</title>
-  </head>
-  <body>
-    <p>Classes for inspecting object properties through introspection.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/groovy/io/package.html b/examples/groovy-2.4.8/groovy/io/package.html
deleted file mode 100644
index fef0d09..0000000
--- a/examples/groovy-2.4.8/groovy/io/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package groovy.io.*</title>
-  </head>
-  <body>
-    <p>Classes for Groovier Input/Output.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/groovy/lang/package.html b/examples/groovy-2.4.8/groovy/lang/package.html
deleted file mode 100644
index 1ea84fc..0000000
--- a/examples/groovy-2.4.8/groovy/lang/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package groovy.lang.*</title>
-  </head>
-  <body>
-    <p>Core Groovy language classes for implementing data structures, closures, metadata and so forth.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/groovy/security/package.html b/examples/groovy-2.4.8/groovy/security/package.html
deleted file mode 100644
index cb094ff..0000000
--- a/examples/groovy-2.4.8/groovy/security/package.html
+++ /dev/null
@@ -1,30 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package groovy.security.*</title>
-  </head>
-  <body>
-    <p>
-      Security-related classes
-    </p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/groovy/time/package.html b/examples/groovy-2.4.8/groovy/time/package.html
deleted file mode 100644
index 94fb458..0000000
--- a/examples/groovy-2.4.8/groovy/time/package.html
+++ /dev/null
@@ -1,47 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package groovy.time.*</title>
-  </head>
-  <body>
-    <p>
-      Classes for easily manipulating Dates and times.  While 
-      <code>java.util.Date</code> has GDK methods for adding or subtracting days,
-      this is not so useful for different durations of time.  
-      {@link groovy.time.TimeCategory TimeCategory} creates a simple internal DSL
-      for manipulating dates and times in a clean and precise fashion.  
-    </p>
-    <h3>Examples</h3>
-    <pre>
-  use ( TimeCategory ) {
-  	// application on numbers:
-  	println 1.minute.from.now
-  	println 10.days.ago
-  
-  	// application on dates
-  	def someDate = new Date()
-  	println someDate - 3.months 
-  }</pre>
-     
-    @see groovy.time.TimeCategory
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/groovy/util/package.html b/examples/groovy-2.4.8/groovy/util/package.html
deleted file mode 100644
index e7a2c5a..0000000
--- a/examples/groovy-2.4.8/groovy/util/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package groovy.util.*</title>
-  </head>
-  <body>
-    <p>Various Groovy utilities for working with nodes, builders, logging, JUnit test cases, text expressions, Ant tasks or JMX MBeans.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/antlr/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/antlr/package.html
deleted file mode 100644
index 0ecf3f6..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/antlr/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.antlr.*</title>
-  </head>
-  <body>
-    <p>Parser related classes.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/antlr/treewalker/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/antlr/treewalker/package.html
deleted file mode 100644
index 9fca823..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/antlr/treewalker/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.antlr.treewalker.*</title>
-  </head>
-  <body>
-    <p>Classes for walking the AST.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/ast/expr/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/ast/expr/package.html
deleted file mode 100644
index 806854e..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/ast/expr/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.ast.expr.*</title>
-  </head>
-  <body>
-    <p>AST nodes for Groovy expressions</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/ast/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/ast/package.html
deleted file mode 100644
index f8f132a..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/ast/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.ast.*</title>
-  </head>
-  <body>
-    <p>Groovy AST nodes for the syntax of the language</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/ast/stmt/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/ast/stmt/package.html
deleted file mode 100644
index 8226776..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/ast/stmt/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.ast.stmt.*</title>
-  </head>
-  <body>
-    <p>AST nodes for Groovy statements</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/classgen/asm/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/classgen/asm/package.html
deleted file mode 100644
index cd40f7e..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/classgen/asm/package.html
+++ /dev/null
@@ -1,29 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.classgen.asm.*</title>
-  </head>
-  <body>
-    <p>Helper classes for ASMClassGenerator. All classes in this package 
-    are for internal usage only.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/classgen/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/classgen/package.html
deleted file mode 100644
index a72224a..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/classgen/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.classgen.*</title>
-  </head>
-  <body>
-    <p>Generates Java classes for Groovy classes using ASM.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/control/io/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/control/io/package.html
deleted file mode 100644
index 9f92588..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/control/io/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.control.io.*</title>
-  </head>
-  <body>
-    <p>Internal classes for Groovier Input/Output.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/control/messages/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/control/messages/package.html
deleted file mode 100644
index 412a4df..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/control/messages/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.control.messages.*</title>
-  </head>
-  <body>
-    <p>Error message classes.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/control/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/control/package.html
deleted file mode 100644
index 4a9ec85..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/control/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.control.*</title>
-  </head>
-  <body>
-    <p>Compiler control classes.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/package.html
deleted file mode 100644
index 1ff6757..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.*</title>
-  </head>
-  <body>
-    <p>Groovy Language for the JVM</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/reflection/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/reflection/package.html
deleted file mode 100644
index a01a2dd..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/reflection/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.reflection.*</title>
-  </head>
-  <body>
-    <p>Internal classes for assisting with reflection.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/metaclass/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/runtime/metaclass/package.html
deleted file mode 100644
index f3e1fa3..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/metaclass/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.runtime.metaclass.*</title>
-  </head>
-  <body>
-    <p>Internal classes related to Groovy's metaclass implementation.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/runtime/package.html
deleted file mode 100644
index c78595e..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.runtime.*</title>
-  </head>
-  <body>
-    <p>Runtime classes for Groovy - whether the dynamic interpreter is being used, the compiler or the bytecode generator.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/typehandling/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/runtime/typehandling/package.html
deleted file mode 100644
index fab5318..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/typehandling/package.html
+++ /dev/null
@@ -1,30 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.runtime.typehandling*</title>
-  </head>
-  <body>
-    <p>Classes used to execute special actions based on the type. 
-    This includes mathematical operations and wrapper classes.
-    </p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/wrappers/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/runtime/wrappers/package.html
deleted file mode 100644
index 652b123..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/runtime/wrappers/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.runtime.wrappers.*</title>
-  </head>
-  <body>
-    <p>Groovy wrapper classes for primitive types.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/syntax/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/syntax/package.html
deleted file mode 100644
index 299d984..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/syntax/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.syntax.*</title>
-  </head>
-  <body>
-    <p>Lexer, parser and trees.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/tools/javac/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/tools/javac/package.html
deleted file mode 100644
index 95b05a4..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/tools/javac/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.tools.javac.*</title>
-  </head>
-  <body>
-    <p>Classes related to the joint compiler.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/tools/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/tools/package.html
deleted file mode 100644
index a45486b..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/tools/package.html
+++ /dev/null
@@ -1,30 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.tools.*</title>
-  </head>
-  <body>
-    <p>
-      Compiler entry points and miscellaneous development tools.
-    </p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/tools/xml/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/tools/xml/package.html
deleted file mode 100644
index a6fb0f8..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/tools/xml/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>package org.codehaus.groovy.tools.xml.*</title>
-  </head>
-  <body>
-    <p>XML utilities such as for converting XML into Groovy scripts.</p>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/vmplugin/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/vmplugin/package.html
deleted file mode 100644
index d7584ff..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/vmplugin/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-    <body>
-        <p>
-            JVM version specific classes.
-        </p>
-    </body>
-</html>
-
diff --git a/examples/groovy-2.4.8/org/codehaus/groovy/vmplugin/v5/package.html b/examples/groovy-2.4.8/org/codehaus/groovy/vmplugin/v5/package.html
deleted file mode 100644
index ae4d56a..0000000
--- a/examples/groovy-2.4.8/org/codehaus/groovy/vmplugin/v5/package.html
+++ /dev/null
@@ -1,28 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-    <body>
-        <p>
-            Java 5 specific classes.
-        </p>
-    </body>
-</html>
-
diff --git a/examples/groovy-2.4.8/overview.html b/examples/groovy-2.4.8/overview.html
deleted file mode 100644
index 9738194..0000000
--- a/examples/groovy-2.4.8/overview.html
+++ /dev/null
@@ -1,41 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>Groovy - An agile dynamic language for the Java Platform</title>
-  </head>
-  <body>
-    <h2>Groovy - An agile dynamic language for the Java Platform<br/>(GroovyDoc for Groovy and Java classes)</h2>
-
-    Groovy...
-    <ul>
-      <li>is an agile and <b>dynamic language</b> for the <b>Java Virtual Machine</b></li>
-      <li>builds upon the strengths of Java but has <b>additional power features</b> inspired by languages like Python, Ruby and Smalltalk</li>
-      <li>makes <b>modern programming features</b> available to Java developers with <b>almost-zero learning curve</b></li>
-      <li>supports <b>Domain-Specific Languages</b> and other compact syntax so your code becomes <b>easy to read and maintain</b></li>
-      <li>makes writing shell and build scripts easy with its <b>powerful processing primitives</b>, OO abilities and an Ant DSL</li>
-      <li>increases developer productivity by <b>reducing scaffolding code</b> when developing web, GUI, database or console applications</li>
-      <li><b>simplifies testing</b> by supporting unit testing and mocking out-of-the-box</li>
-      <li>seamlessly <b>integrates with all existing Java objects and libraries</b></li>
-      <li>compiles straight to Java bytecode so you can use it anywhere you can use Java</li>
-    </ul>
-  </body>
-</html>
diff --git a/examples/groovy-2.4.8/overviewj.html b/examples/groovy-2.4.8/overviewj.html
deleted file mode 100644
index d526e8b..0000000
--- a/examples/groovy-2.4.8/overviewj.html
+++ /dev/null
@@ -1,41 +0,0 @@
-<!--
-
-     Licensed to the Apache Software Foundation (ASF) under one
-     or more contributor license agreements.  See the NOTICE file
-     distributed with this work for additional information
-     regarding copyright ownership.  The ASF licenses this file
-     to you under the Apache License, Version 2.0 (the
-     "License"); you may not use this file except in compliance
-     with the License.  You may obtain a copy of the License at
-
-       http://www.apache.org/licenses/LICENSE-2.0
-
-     Unless required by applicable law or agreed to in writing,
-     software distributed under the License is distributed on an
-     "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
-     KIND, either express or implied.  See the License for the
-     specific language governing permissions and limitations
-     under the License.
-
--->
-<html>
-  <head>
-    <title>Groovy - An agile dynamic language for the Java Platform</title>
-  </head>
-  <body>
-    <h2>Groovy - An agile dynamic language for the Java Platform<br/>(JavaDoc for Java classes)</h2>
-
-    Groovy...
-    <ul>
-      <li>is an agile and <b>dynamic language</b> for the <b>Java Virtual Machine</b></li>
-      <li>builds upon the strengths of Java but has <b>additional power features</b> inspired by languages like Python, Ruby and Smalltalk</li>
-      <li>makes <b>modern programming features</b> available to Java developers with <b>almost-zero learning curve</b></li>
-      <li>supports <b>Domain-Specific Languages</b> and other compact syntax so your code becomes <b>easy to read and maintain</b></li>
-      <li>makes writing shell and build scripts easy with its <b>powerful processing primitives</b>, OO abilities and an Ant DSL</li>
-      <li>increases developer productivity by <b>reducing scaffolding code</b> when developing web, GUI, database or console applications</li>
-      <li><b>simplifies testing</b> by supporting unit testing and mocking out-of-the-box</li>
-      <li>seamlessly <b>integrates with all existing Java objects and libraries</b></li>
-      <li>compiles straight to Java bytecode so you can use it anywhere you can use Java</li>
-    </ul>
-  </body>
-</html>
diff --git a/main.jpf b/main.jpf
new file mode 100644
index 0000000..85af65a
--- /dev/null
+++ b/main.jpf
@@ -0,0 +1,19 @@
+target = main
+
+# This is the listener that can detect variable write-after-write conflicts
+listener=gov.nasa.jpf.listener.VariableConflictTracker
+
+# Potentially conflicting variables
+variables=currentAlarm,currentContact,doorState,currentLock,currentMotion,status,currentPresence,\
+			currentSmokeValue,currentHeatingSetpoint,thermostatSetpoint,currentCoolingSetpoint,\
+			thermostatOperatingState,thermostatFanMode,currentThermostatMode,currentSwitch,\
+			currentAcceleration, currentBattery, currentPresence, currentCarbonMonoxideValue,\
+			color, hue, saturation
+			
+# Potentially conflicting apps (we default to App1 and App2 for now)
+apps=App1,App2
+
+# Tracking the location.mode variable conflict
+#track_location_var_conflict=true
+
+#search.class = gov.nasa.jpf.search.heuristic.UserHeuristic