The `sym` might indeed be stale, that's a trade off we have to do. But the `askOption` call is not needed, because the `getJavaElement` has its own `askOption` call. I believe `isJavaDefined` and `isMethod` are safe, as they only check flags.