Caching TypeResolver
Fix typechecking error in Eclipse.