protected void AddClassEntry(int token, TargetAddress klass) { class_entry_by_token.Add (token, new ClassEntry (klass)); }