public void print(GroupedWriter fout) {
super.print(fout);
fout.print("name ");
fout.printlnGroup(name);
if (isInitial()) {
fout.print("initial ");
fout.printlnGroup("yes");
}
if (isFinal()) {
fout.print("final ");
fout.printlnGroup("yes");
}
fout.print("coord ");
fout.printlnGroup(x + " " + y);
}
public void createMenu(JPopupMenu menu) {
menu.add(new InitialItem());
menu.add(new FinalItem());
super.createMenu(menu);
}
