/**
* Marks a given classpath as invalid, i.E. modified - which causes that all cached classes are
* removed from the cache.
*
* Note, that this does not mean they are unloaded. Old versions might still be in use if they
* are referenced from elsewhere. But new instantiations will use the fresh classes
*
* Usage of method is useless if the Classloader is not Dynamic
*/
function java_invalidate_library_path($cp)
{
$DC = new JavaClass('php.java.bridge.DynamicClassLoader');
$DC->invalidate($cp);
}
