public static Term wrap(Term t, String label, Ellipses ellipses) { Cell cell = new Cell(t.getLocation(), t.getFilename()); cell.setLabel(label); cell.setEllipses(ellipses); cell.setContents(t); return cell; }