--- old/src/jdk.jextract/share/classes/com/sun/tools/jextract/TypeDictionary.java	2019-04-08 18:42:50.000000000 +0530
+++ new/src/jdk.jextract/share/classes/com/sun/tools/jextract/TypeDictionary.java	2019-04-08 18:42:50.000000000 +0530
@@ -66,6 +66,9 @@
         try {
             //try resolve globally
             Path p = t.getDeclarationCursor().getSourceLocation().getFileLocation().path();
+            if (p == null) {
+                p = Context.getBuiltinHeaderFile();
+            }
             HeaderFile hf = resolver.headerFor(p);
             return Utils.toInternalName(hf.pkgName, hf.headerClsName);
         } catch (Throwable ex) {