I would maybe try to make this test case insensitive
if (f.getName().endsWith(".pnml"))
to that a file like net.PNML will be also parsed with the PNML parser.
« Back to merge proposal
I would maybe try to make this test case insensitive
if (f.getName( ).endsWith( ".pnml" ))
to that a file like net.PNML will be also parsed with the PNML parser.