<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
  <title></title>
</head>
 <body>
 Provides classes and interfaces for managing commands to be executed from
a PluginTool. <br>
</body>
</html>
