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