Adapting the code to work with Android activities
Creating input interface, and changing HermiT version to 1.2 due to incompatibility of the newer versions of the dispose method