WYRL: deprecated JavaFileWriter and renamed NewJavaFileWriter (#294)
WYCS: updated all tests which are now passing.
WYC: updating tests to identify those which are failing.
WYC: updated test cases to identify those which fail and to classify more of the problem cases.
WYC: marked another failing test case.
WYC: went through and checked all extended invalid tests.
WYC: additional tweaks.
WYJC: tweaking valid tests cases so they all pass.
WYJC: tidied up all Java tests now.
WYCS: tidied up the invalid wycs test cases so they now all run correctly.
WYIL: minor tweak to VcTransformer in relation to, but that doesn't fix #299.
WYRL: reworked the statistics produced from rewriting.
WYRL: added support for rule comparators to the standard rewriters.  It's clear from messing around that they can make a big difference, but at the moment they don't because the analysis is so weak.
WYRL: working on getting the rule sorting to work better.  However, I really need analysis to do this.
WYIL: bug fix for #295
Minor tweaks to remove debugging code.
WYIL: bug fix for verification of switch statements, and added more test cases (#222)
WYIL: minor additional fix for #222.  Now it's passing all tests!!
Making progress.
Some minor tweaks.