A short blog post: how to get an ASTNode from an IJavaElement