ModificationWatcher
568569570571572573574575576577578
{ // destroy the resource watcher IModificationWatcher resourceWatcher = getResourceSettings().getResourceWatcher(false); if (resourceWatcher != null) { resourceWatcher.destroy(); } IFileCleaner fileCleaner = getResourceSettings().getFileCleaner(); if (fileCleaner != null) {
599600601602603604605606607608609
597598599600601602603604605606607