undid copy-paste

avoid giving same name to simplifying constructor as to real one (to avoid risks of confusion when reading the code)

don't generate empty theorem collections

tuned code

provide a way to override MaSh's port from configuration file

new version of MaSh program, with proper shutdown

tuned proofs;

focus on default component according to jEdit window management;

tuned;

tuned signature;