Updated error handling, fixed wff checking
Merge branch 'master' of ssh://github.com/PeterDrake/Logic

* 'master' of ssh://github.com/PeterDrake/Logic:
  Merged Peter's codereview
  Added an "Add Column" button and changed JLabels to JTextFields