jdk7 javac Tree API fails to resolve certain elements - must rely only on TypeMirror