rhbz980670 deprecate DocumentType.getExtension as a precursor to deletion