URL u = null; Dimension d = null;
URL u; Dimension d;
	public static LocalInfo getLocalFilenameForPicture(Picture p, boolean full) {		URL u = null;		Dimension d = null;		if (!full && p.getSizeResized() == null) {			// no resized version			return null;		}		if (full) {			u = p.safeGetUrlFull();			d = p.safeGetSizeFull();		} else {			u = p.getUrlResized();			d = p.getSizeResized();		}		String uid = p.getUniqueId();		String ext = p.getForceExtension();		if (uid == null || ext == null) {			uid = u.getPath();			int i = uid.lastIndexOf('/');			uid = uid.substring(i + 1);			i = uid.lastIndexOf('.');			ext = uid.substring(i + 1);			uid = uid.substring(0, i);		}		String filename = uid + "." + ext;		return new LocalInfo(ext, filename,				deterministicTempFile("server", "." + ext, tmpDir, uid + d), u, d);	}