boolean () { synchronized (myExtensions) { JpsPluginManager manager = myPluginManager; if (manager != null) { int stamp = manager.getModificationStamp(); if (myModificationStamp.getAndSet(stamp) != stamp) { myExtensions.clear(); return true; } } return false; } }