import javax.swing.*;
class optprim {
//draw an optional primitive
public JComponent draw (int several) {
if (var.hidden)
return null;
else{
JCheckBox t = new JCheckBox(var.disp);
t.setToolTipText("Optional");
return t;
}
}
}