the order of some child elements of 'graphics' is relevant. this is most...

the order of some child elements of 'graphics' is relevant. this is most certainly a bug in the pnml framework parser

src/main/resources/haddadin_automaton_flat.pnml

@@ -363,9 +363,9 @@
             </tokengraphics>
           </toolspecific>
           <graphics>
+            <offset x="-68" y="-32"/>
             <fill color="#ffffff"/>
             <line shape="line" color="#000000" width="1"/>
-            <offset x="-68" y="-32"/>
             <font family="Ubuntu" size="9pt"/>
           </graphics>
           <text>1</text>