93949596979899100101102103
// title = info.getTitle(); // } // } ID id = resource.getID(); if(title == null) { title = id.labelResource(); } return title; } else if (resolve instanceof IService) { IService service = (IService) resolve;