did a little refactoring of class and package names
added builder classes for jdk classes
changed inner classes to non-static classes...added  type checker annotations
switched to checker framework annotations
removed jsr 305 dependency