[GitHub] jena issue #339: resolve JENA-1459 add jena text highlighting

[ajs6f]

Github user ajs6f commented on the issue:

    https://github.com/apache/jena/pull/339
  
    That is one prob with using the Github on-line editors. But they _are_ 
convenient! I use them for corrections to human-centric docs like READMEs, etc.


---