remove extraneous io exceptions + improve generic infrastructure for logging errors
fix KException to keep the Throwable around
fix ktest paths in debugger
fix colors that were broken by krun branch :(
Merge pull request #740 from dwightguth/ktest-paths

fix ktest paths in debugger
Merge pull request #741 from dwightguth/color

fix colors that were broken by krun branch :(
fixed CompileDataStructures pass
fixed timeout problem
added unit test
Merge pull request #743 from yilongli/fixing-issue-#738

fixing issue 738
Merge pull request #732 from dwightguth/ioexception

remove extraneous io exceptions + improve generic infrastructure for log...
first step: resolve compilation errors
fixed a latent bug not related to this refactoring
fixed missing conversions from Sort2 to string in Collection.contains/get methods
fixed method calls of the form: Sort2.equals(String)
fixed copyright