Werner, Steve, We currently have 6 tests related to type annotations in the JDK 8 forests that are currently disabled with an @ignore tag. What does it take to fix the issues causing these tests to be ignored? -- Jon