public final static void open(IFile file) { WorkbenchUtilitiesPlugin.open(file, null);
public final static void open(ArrayList anArrayList) { for (int i = 0; i < anArrayList.size(); i++) { IResource resource = (IResource) anArrayList.get(i); if ((resource != null) && (resource.getType() == IResource.FILE)) WorkbenchUtilitiesPlugin.open((IFile) resource); }
	public final static void open(IFile file) {		WorkbenchUtilitiesPlugin.open(file, null);	}