String pipeId = pipelineInfo.getId();
if (pipeId == null || pipeId.isEmpty()) {
logger.log(Level.SEVERE, "Empty or null pipe id");
}
OMDocument doc = mSVG.getOwnerDocument();
OMElement e = null;
// Workaround for apparent bug in svg-gwt's getElementById when there
// is no element with the id. Apparently due to a mozilla bug.
try {
e = doc.getElementById(pipeId);
} catch (Exception ex) {
//Don't want to do anything, just don't have a hissy fit :)
logger.log(Level.WARNING,
"No pipe with id " + pipeId + " in workflow "
+ mWorkflowId);