def __init__(self): Doctype.__init__(self, 'mdc', 'Mozilla Developer Center')
def __init__(self): Doctype.__init__(self, 'javadoc', 'Javadoc')