JDTModelLoader optimizations : reduce the number of NameEnv. requests