Bug 39038 method SWTUtil.getButtonHeigthHint is misspelled [misc]
"getButtonHeigthHint" should be spelled "getButtonHeightHint". The "Height" part is spelled incorrectly. This is an internal API -- package org.eclipse.jdt.internal.ui.util -- so this is not a user-visible bug, strictly speaking, but it would be trivial to fix.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/wizards/dialogfields/TreeListDialogField.java
}
			});
		}
	}
	/**
	* Refreshes the tree.
	*/
	public void refresh() {
		if (fTree != null) {
			fTree.refresh();
		}
	}
	
	/**
	* Refreshes the tree.
	*/
	public void refresh(Object element) {
		if (fTree != null) {
			fTree.refresh(element);
		}
	}	
	
	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);