[JSR308] Problems with stubs.

[Niko Matsakis]

Hello,

I am attempting to use the stub feature with v0.8.6.  For the moment,  
I have created a stub file for the package java.lang.  Unfortunately,  
whenever I try to use this stub file with the checkers framework, I  
always get null ptr exceptions in the routine StubParser.findType().   
These exceptions are caused by the fact that the element pointers in  
the AnnotatedDeclaredTypes are null, but findType() expects otherwise.

This crash is fairly reproducible.  I believe that all that is  
required is to create a new stub file for java.lang, add an import of  
some qualifier to the top (any one will do), and then run a checker  
with -Astub=YourStubFile.astub.

Am I doing something wrong? Or are stub files just not yet fully  
functional?


regards,
Niko