private IResource getResource(IJavaElement element) {
   if (element == null) return null;
   if (element.getElementType() == IJavaElement.PACKAGE_FRAGMENT) {
     String pkgName = element.getElementName();
     int firstDot = pkgName.indexOf('.');
     if (firstDot != -1) {
       element =
           ((IPackageFragmentRoot) element.getParent())
               .getPackageFragment(pkgName.substring(0, firstDot));
     }
   }
   return element.getResource();
 }