[Checkers] Javari JDK

[Mahmood Ali]

Hi Telmo,

I have created the method stubs for the Javari JDK.  It's available in  
~mali/public/JavariJDK.zip.

The major differences between the already included jdk and this one is  
the following:
1. Removed method bodies and private methods
2. Removed /*@Unmodifiable*/ from java.lang.String and /*@NonNull*/  
from all the code

I tried compiling some files and seems to work.  I couldn't compile  
some of those classes when using the distributed jdk.

Please review the files and the differences (or test) to confirm that  
I didn't delete any methods or annotations by mistake and incorporate  
them into the release.

As an important note, the annotated JDK is that of Java 5.  It will be  
extremely nice if you switch to Java 7.0 (or at least 6.0).

Regards,
Mahmood