public void moveUp(List toMoveUp) { if (toMoveUp.size() > 0) { fChildren= moveUp(fChildren, toMoveUp);
private List moveUp(List elements, List move) { int nElements= elements.size(); List res= new ArrayList(nElements); Object floating= null; for (int i= 0; i < nElements; i++) { Object curr= elements.get(i); if (move.contains(curr)) { res.add(curr); } else { if (floating != null) { res.add(floating); } floating= curr; }
	public void moveUp(List toMoveUp) {		if (toMoveUp.size() > 0) {			fChildren= moveUp(fChildren, toMoveUp);		}	}