Only the mutex is mutable, added readFromRTConst(), assignment operator and copy constructor.