Rimosse le vecchie classi explorer e threadonmutex. La prima è stata sostituita, e la seconda è divenuta totalmente inutile IN QUESTA BRANCH