Updated Restolino version to get latest cleanup and simplification, plus
changes to ClassMonitor.