hg: panama/panama/jdk: Allow @Header record types

[mikael.vidstedt at oracle.com]

Changeset: ded0ca4e529f
Author:    mikael
Date:      2016-10-25 13:10 -0700
URL:       http://hg.openjdk.java.net/panama/panama/jdk/rev/ded0ca4e529f

Allow @Header record types

! src/java.base/share/classes/jdk/internal/nicl/NativeLibraryImpl.java