void save(PrintWriter out) {
   out.println("<division>");
   out.println("<loperand>");
   WorkspaceObject c = leftSink.getContainedPart();
   if (c != null) c.save(out);
   out.println("</loperand>");
   out.println("<roperand>");
   c = rightSink.getContainedPart();
   if (c != null) c.save(out);
   out.println("</roperand>");
   out.println("</division>");
 }
 void save(PrintWriter out) {
   out.println("<randint>");
   WorkspaceObject c = sink.getContainedPart();
   if (c != null) c.save(out);
   out.println("</randint>");
 }