Making all members public didn't always work. Fixed. Removed 'final' from members in order to access these fields as left values in assignment statement where the object is examined. Method inspectField() is implemented for the case of directly accessing a field of an object. Fixed a bug in typeField() -- didn't consider constant declarators in interfaces. Added more annotation types for the cases of examining type fields and array elements.