[Checkers] Javari Test cases

[Telmo]

> Raw has given a lot of trouble in IGJ too.  It makes the code unsafe.

Raw types are annoying. I think the framework should autocomplete with the 
appropriate bounds when checking for annotations on types that should have 
type parameters, but which didn't have type parameters explicitly 
annotated.

I just committed a change to this effect. It doesn't break any of the 
test cases, though we may want to add more no-generics test cases.

-Telmo