model prototypes in field-based pointer analysis
add option to allow getMethodto be handled only for user code.  a
scalability compromise.
fixes for reading core libraries from dex
more dalvik tests
misc fixes
more testing of field-based pointer analysis