jmod request

[Jonathan Gibbons]

It seems that if a module has been installed, it cannot be replaced by 
installing it again.

Is there any chance of getting "remove" or "uninstall" options for jmod, 
or even the ability to reinstall a module.  Now that we can build all 
the modules for JDK, it would be very helpful to be able to install new 
modules without rebuilding JDK.

As a short term work around, it appears to work to delete the 
appropriate directory with an "rm" command.   Is this likely OK, or 
likely to cause horrors in the minds of the folk that understand module 
libraries?

-- Jon