// following the comments in MoMLApplication, use the same URL for
// the two arguments (base and URL) to parse().
MoMLParser parser = new MoMLParser();
InterfaceAutomaton firstAutomaton = (InterfaceAutomaton) parser.parse(
url, url);
firstAutomaton.addPorts();
// Construct the second automaton
url = MoMLApplication.specToURL(secondMoML);
// following the comments in MoMLApplication, use the same URL for