jmod request

[Alan Bateman]

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.
>
> 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
Mark - is uninstall feasible? I assume there is potential for 
consistency issues if there is library delegation and a module is 
removed from a parent library. Also, I wonder about the consequences of 
uninstalling a module when the library is in use by a running application.

-Alan.