Classes of lively/SerializationRefactoring.js