// this is a node inserted by plugin infrastructure
// Obtains the correct panel builder for currently selected node
// TODO find a better way to couple the node and its builder without
// messing up the draw/Node/GUI relationship
IProbabilityFunctionPanelBuilder builder = null;
try {
builder = this.getPluginNodeManager().getPluginNodeInformation(
s.getNode().getClass())
.getProbabilityFunctionPanelBuilder();
} catch (Exception e) {
Debug.println(this.getClass(),
"Could not restore the node panel builder for "
+ s.getNode().getName(), e);
}
if (builder != null) {
// notify the probability function panel that the current owner
// (node) is different
builder.setProbabilityFunctionOwner(s.getNode());
this.controller.getScreen().showProbabilityDistributionPanel(
builder);
}
} else {
if( s.getNode() != null )