[GitHub] jena pull request #474: JENA-1609 Jena master does not build under JDK10

[ajs6f]

Github user ajs6f commented on a diff in the pull request:

    https://github.com/apache/jena/pull/474#discussion_r221715600
  
    --- Diff: jena-arq/pom.xml ---
    @@ -216,6 +216,7 @@
                 </group>
               </groups>
               <bottom>Licenced under the Apache License, Version 2.0</bottom>
    +          <additionalOptions>-html5</additionalOptions>
    --- End diff --
    
    Is this in some way needed for Java 10 builds?


---