||The DisconnectableTool interface is provided for
tools that wish to provide the ability for the user
to request that the tool stop processing in such
a way as to allow it to restart again at the same
state as it finished.
||The Tool interface is the basic way of interfacing with
the Bandera tool suite.
||The ToolConfigurationView provides a GUI view for changing
a ToolConfiguration by the user.
||The ToolIconView provides description of the Tool that can be used
in a interface with the user.
||The ToolMomento provides an object that can be used to
store and load the state of a tool.