<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
   <title>Package-level Javadoc</title>
</head>
<body>
Provides core support for plug-ins and the plug-in registry.
<h2>
Package Specification</h2>
This package specifies the API related to running the platform itself.  This includes 
area such as the definition and management of plug-ins and the starting, stopping and maintaining the 
platform itself.  In addition, this API supplies various utility types such as <tt>Path</tt>, 
<tt>IPath</tt> and various flavours of progress monitors.
<p>
Clients writing plug-ins or accessing plug-in functionality will likely be interested in the types
provided by this package.
</p>
</body>
</html>