Fix compatibility of SourceLineDoc with Java 6