private AnnotationCollection m_annotations;
private DBClass( IndexObjectDB db, String class_key)
{
m_class_key=class_key;
DBPackage namespace= DBPackage.get( DBPackage.namespacePart(m_class_key), db);
m_namespace=new ObjectRef<DBPackage>(namespace);
m_base=new ObjectKeyHashSet<DBClass>();
m_fields=new TreeMap<String,ObjectRef<DBField>>();
m_methods=new TreeMap<String,ObjectRef<DBMethod>>();
m_annotations=new AnnotationCollection();
ObjectDB.makePersistent( this);
namespace.setContainedClass( this);
// Assume class is public unless we get concrete evidence otherwise
m_properties=DBDriver.IS_PUBLIC;
// Find containing class, if any
int slash_pos=class_key.lastIndexOf('/');
if ( slash_pos!= -1)