////////////////////////////////////////////////////////////////////////
// Tree support
////////////////////////////////////////////////////////////////////////
public Object[] getChildren(Object parentElement) {
if (parentElement instanceof HistoryDefinitionLocation) {
HistoryDefinitionLocation loc = (HistoryDefinitionLocation) parentElement;
if(loc.getChildren() != null) {
return loc.getChildren().toArray();
}
}
return null;
}