// Only if also the remaining information is
// available,
// try to import the width of the tree view and the height of the overview panel
if (currentNet.getToolspecificArray(j).isSetTreeWidth()){
GraphicsSimpleType bounds = currentNet.getToolspecificArray(j).getBounds();
DimensionType dimension = bounds.getDimension();
int x =(int) (dimension.getX()).doubleValue();
x = x - currentNet.getToolspecificArray(j).getTreeWidth();
layout.setTreeViewWidthRight(x);
} else if (currentNet.getToolspecificArray(j).isSetTreeWidthRight()){
layout.setTreeViewWidthRight(currentNet.getToolspecificArray(j).getTreeWidthRight());
}