Changeset: ec53c4b46295 Author: mikael Date: 2016-10-04 09:31 -0700 URL: http://hg.openjdk.java.net/panama/panama/jdk/rev/ec53c4b46295 Minor javadoc fix to please my IDE ! src/jdk.jextract/share/classes/com/sun/tools/jextract/HeaderFile.java