[eclipse-dev] Update Manager problems in 12/19 integration build

[klicnik@xxxxxxxxxx]

The Update Manager in the integration builds from 12/18 and 12/19 fails to 
come up (internal error reported on launch). This has been resolved for 
future builds.

Anyone trying to use this function can workaround the problem by making 
the following modification to the plugin.xml of the 
org.eclipse.update.ui.forms plugin.

Replace 

<runtime>
   <library name="forms.jar"/>
</runtime>

with

<runtime>
   <library name="forms.jar">
      <export name="*"/>
   </library>
</runtime>