jmod request

[Mandy Chung]

Jonathan Gibbons wrote:
> 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.
>
Mark has some change in the jmod command in his repository but I'm not 
sure if he already adds the "remove" "uninstall", or "reinstall" 
option.  If not, I will file a RFE and implement that.
> 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?
>
This workaround is fine.

Mandy