ID	Type	Status	Priority	Milestone	Owner		Summary + Labels	...
	1	Defect	Started	Medium	----	notnoop		Stub file bugs
	8	Defect	Accepted	High	----	notnoop		Verify @AssertNonNullIfTrue annotations
	10	Enhancement	Accepted	Low	----	notnoop		Multithreaded mode for flow-sensitive type refinement
	12	Defect	Accepted	Medium	----	notnoop		Nullness Checker makes wrong assumptions about unannotated libraries
	15	Defect	Accepted	Medium	----	notnoop		array subtype rules: should be invariant with respect to type qualifiers
	20	Enhancement	Accepted	Low	----	notnoop		Handle new Java 7 syntax
	22	Enhancement	Accepted	Low	----	notnoop		@Poly or @PolyAll annotation that works for all checkers; would be used in libraries
	23	Enhancement	Started	High	----	notnoop		Nullness annotations for static fields
	24	Defect	Accepted	Low	----	notnoop		There is no need for fully-annotated names in stub libraries
	25	Defect	Accepted	Low	----	notnoop		Flow and array/collections
	27	Enhancement	Accepted	Medium	----	notnoop		Interpret type parameter declaration annotations as annotations on bounds, for syntactic conciseness
	31	Defect	Accepted	Low	----	notnoop		javaparser needs to be merged with upstream
	32	Defect	Accepted	Critical	----	notnoop		Convert skeleton files
	33	Defect	Accepted	Medium	----	notnoop		Eclipse plugin is mis-named
	36	Defect	Accepted	Medium	----	notnoop		Missing @Target meta-annotations