private String getNameDelta(IPackageFragment topFragment, IPackageFragment bottomFragment) {  String topName= topFragment.getElementName(); String bottomName= bottomFragment.getElementName();  if(topName.equals(bottomName)) return topName;  String deltaname= bottomName.substring(topName.length()+1); return deltaname;
private String getNameDelta(IPackageFragment parent, IPackageFragment fragment) { String prefix= parent.getElementName() + '.'; String fullName= fragment.getElementName(); if (fullName.startsWith(prefix)) { return fullName.substring(prefix.length()); } return fullName;
	private String getNameDelta(IPackageFragment topFragment, IPackageFragment bottomFragment) {				String topName= topFragment.getElementName();		String bottomName= bottomFragment.getElementName();				if(topName.equals(bottomName))			return topName;				String deltaname= bottomName.substring(topName.length()+1);			return deltaname;	}