JBIDE-18727 - cannot delete osgi module

can't you reuse the server instance you collected in publishModule()?