Buggy code:
private static final int BUFFER_SIZE = 20 ; private char [ ] fCharBuffer = new char [ AbstractSAXParser . BUFFER_SIZE ] ; protected SymbolHash fDeclaredAttrs = null ; protected AbstractSAXParser ( XMLParserConfiguration config ) { } public void startDocument ( XMLLocator locator , String encoding , NamespaceContext namespaceContext , Augmentations augs ) throws XNIException { } public void xmlDecl ( String version , String encoding , String standalone , Augmentations augs ) throws XNIException { } public void doctypeDecl ( String rootElement , String publicId , String systemId , Augmentations augs ) throws XNIException { } public void startGeneralEntity ( String name , XMLResourceIdentifier identifier , String encoding , Augmentations augs ) throws XNIException { } public void endGeneralEntity ( String name , Augmentations augs ) throws XNIException { } public void startElement ( QName element , XMLAttributes attributes , Augmentations augs ) throws XNIException { } public void characters ( XMLString text , Augmentations augs ) throws XNIException { } public void ignorableWhitespace ( XMLString text , Augmentations augs ) throws XNIException { } public void endElement ( QName element , Augmentations augs ) throws XNIException { } public void startCDATA ( Augmentations augs ) throws XNIException { } public void endCDATA ( Augmentations augs ) throws XNIException { } public void comment ( XMLString text , Augmentations augs ) throws XNIException { } public void processingInstruction ( String target , XMLString data , Augmentations augs ) throws XNIException { } public void endDocument ( Augmentations augs ) throws XNIException { } public void startExternalSubset ( XMLResourceIdentifier identifier , Augmentations augs ) throws XNIException { } public void endExternalSubset ( Augmentations augs ) throws XNIException { } public void startParameterEntity ( String name , XMLResourceIdentifier identifier , String encoding , Augmentations augs ) throws XNIException { } public void endParameterEntity ( String name , Augmentations augs ) throws XNIException { } public void elementDecl ( String name , String contentModel , Augmentations augs ) throws XNIException { } public void attributeDecl ( String elementName , String attributeName , String type , String [ ] enumeration , String defaultType , XMLString defaultValue , XMLString nonNormalizedDefaultValue , Augmentations augs ) throws XNIException { } public void internalEntityDecl ( String name , XMLString text , XMLString nonNormalizedText , Augmentations augs ) throws XNIException { } public void externalEntityDecl ( String name , XMLResourceIdentifier identifier , Augmentations augs ) throws XNIException { } public void unparsedEntityDecl ( String name , XMLResourceIdentifier identifier , String notation , Augmentations augs ) throws XNIException { } public void notationDecl ( String name , XMLResourceIdentifier identifier , Augmentations augs ) throws XNIException { } public void endDTD ( Augmentations augs ) throws XNIException { } public void parse ( String systemId ) throws IOException , SAXException { } public void parse ( InputSource inputSource ) throws IOException , SAXException { } public void setEntityResolver ( EntityResolver resolver ) { } public EntityResolver getEntityResolver ( ) { } public void setErrorHandler ( ErrorHandler errorHandler ) { } public ErrorHandler getErrorHandler ( ) { } public void setLocale ( Locale locale ) throws SAXException { } public void setDTDHandler ( DTDHandler dtdHandler ) { } public void setDocumentHandler ( DocumentHandler documentHandler ) { } public void setContentHandler ( ContentHandler contentHandler ) { } public ContentHandler getContentHandler ( ) { } public DTDHandler getDTDHandler ( ) { } public void setFeature ( String featureId , boolean state ) throws SAXNotRecognizedException , SAXNotSupportedException { } public boolean getFeature ( String featureId ) throws SAXNotRecognizedException , SAXNotSupportedException { } public void setProperty ( String propertyId , Object value ) throws SAXNotRecognizedException , SAXNotSupportedException { } public Object getProperty ( String propertyId ) throws SAXNotRecognizedException , SAXNotSupportedException { } protected void setDeclHandler ( DeclHandler handler ) throws SAXNotRecognizedException , SAXNotSupportedException { } protected DeclHandler getDeclHandler ( ) throws SAXNotRecognizedException , SAXNotSupportedException { } protected void setLexicalHandler ( LexicalHandler handler ) throws SAXNotRecognizedException , SAXNotSupportedException { } protected LexicalHandler getLexicalHandler ( ) throws SAXNotRecognizedException , SAXNotSupportedException { } protected final void startNamespaceMapping ( ) throws SAXException { } protected final void endNamespaceMapping ( ) throws SAXException { } public void reset ( ) throws XNIException { } protected class LocatorProxy implements Locator { protected XMLLocator fLocator ; public LocatorProxy ( XMLLocator locator ) { } public String getPublicId ( ) { } public String getSystemId ( ) { } public int getLineNumber ( ) { } public int getColumnNumber ( ) { } public String getXMLVersion ( ) { <START_BUG> return fVersion ; <END_BUG> } public String getEncoding ( ) { } } protected static final class AttributesProxy implements AttributeList , Attributes { protected XMLAttributes fAttributes ; public void setAttributes ( XMLAttributes attributes ) { } public int getLength ( ) { } public String getName ( int i ) { } public String getQName ( int index ) { } public String getURI ( int index ) { } public String getLocalName ( int index ) { } public String getType ( int i ) { } public String getType ( String name ) { } public String getType ( String uri , String localName ) { } public String getValue ( int i ) { } public String getValue ( String name ) { } public String getValue ( String uri , String localName ) { } public int getIndex ( String qName ) { } public int getIndex ( String uri , String localPart ) { } public boolean isDeclared ( int index ) { } public boolean isDeclared ( String qName ) { } public boolean isDeclared ( String uri , String localName ) { } public boolean isSpecified ( int index ) { } public boolean isSpecified ( String qName ) { } public boolean isSpecified ( String uri , String localName ) { } } public ElementPSVI getElementPSVI ( ) { } public AttributePSVI getAttributePSVI ( int index ) { } public AttributePSVI getAttributePSVIByName ( String uri , String localname ) { } }

Fix:
return fLocator . getXMLVersion ( ) ;