support closing java editor where coq is active
find implicit 'this' field accesses