private IPropertySource getProperties(IJavaElement element) {
IResource resource= getResource(element);
if (resource == null)
-// return new JavaElementProperties(element);
+ return new JavaElementProperties(element);
if (resource.getType() == IResource.FILE)
return new FilePropertySource((IFile) resource);
return new ResourcePropertySource(resource);