public void addStateAtXY(String s, double x, double y) { FAState state = new FAState(s); machine.addState(state); addElement(new GElementFAState(state, x, y)); }