JTabWb: A Java Framework for Implementing Terminating Sequent and Tableau Calculi