This class represents a MINER ToolProxy. There will never be more than 1
Proxy instance for a given name. Therefore, this class has no visible
constructor. Typically proxy instances are created via
Action.addProxy(java.lang.String) or via the static getInstance(String).
Gets a Proxy instance with the given name. If it has been created before,
the existing instance is returned so that there will never be more than
one Proxy instance for a given name. Otherwise, a new instance is