delete editor-support, which has been moved to new repo
fix some of wrong comparisons in MaudeKRun to fix a test
separated Cell2DataStructures to Java-backend-specific version and non-backend-specific version
updated regression tests
Revert "updated regression tests"

This reverts commit c89da1013c1a3b76f3c5b2673e59f07bbba8d98d.
fixed refactoring
fixed config file that results in race
Merge pull request #960 from yilongli/separate-Cell2DataStructure

separated Cell2DataStructures to Java-backend-specific version and non-b...
delete unused files in tests directory
Merge pull request #955 from dwightguth/delete-stuff

Delete unused files from repo
Merge pull request #961 from osa1/maudeKRun-fix

fix some of wrong comparisons in MaudeKRun to fix a test
switch to Java 8