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
fix required VC++ Redistributable version number in INSTALL
fix various findbugs errors categorized CORRECTNESS and BAD_PRACTICE
fix bugs in mkdirs() changes
pass GlobalOptions.debug to KTestOptions.debug
when in verbose debug mode, pass --debug to spawned processes to print stack traces
improving last patch
fix a wrong condition
fix npe with -ea enabled
fix typo that radu wants me to fix
clean up KRunModule / add comments
make a couple classes have non-null arguments
Merge pull request #957 from osa1/master

fix required VC++ Redistributable version number in INSTALL
pass --debug to ktest in verify phase
forgot to add --debug to arg list
improve ktest logs a bit (setting ground for --dry fix)