improvements to Android UI checker (parsing constants with shrike instead of looking at .java) and fixed makefile for WALA to work on mac