first steps towards a generic transformation pipeline for krun
fix regression in textual output of search results
fix bug with repeated search results - use SortedSet
fix copyright
add javadoc
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
fix various findbugs errors categorized CORRECTNESS and BAD_PRACTICE
ktest: don't generate same PDFs multiple times
remove temp directory .k
fix bugs in mkdirs() changes