code: protected String getToolName ()
    {
      final String name = getClass ().getName ();
      return name.substring (name.lastIndexOf ('.') + 1);
    }
docs: Gets the name of the tool.
  
  @return The name of the tool, never <code>null</code>.