Minor modifications to TFTestButton and WffChecker
Merge branch 'wffchecker-tflogic' of ssh://github.com/PeterDrake/Logic into wffchecker-tflogic

* 'wffchecker-tflogic' of ssh://github.com/PeterDrake/Logic:
  Fixed highlighting

Conflicts:
	src/edu/lclark/logic/TFTestButton.java