!747 m { p { L tok = tokMainJava(); if (includesToken(tok, "MultiSet")) tok = includeInMain(tok, "#1000988"); // MultiSet tok = runTranslator(tok, "#747"); saveMainJava(tok); } }