[Checkers] [JSR308] Stub files?

[Michael Ernst]

Niko-

> What I meant is that when you have multiple checkers simultaneously,  
> each would presumably have their own set of stub files.  I had the  
> impression, however, that one could only specify a single set of stub  
> files, rather than one set per checker.

Thanks for the clarification; I understand now.  It should definitely be
possible to supply multiple sets of stub files.  I don't know whether the
current implementation supports that.

                    -Mike