}
public static void loadMario(int levelSeed, int levelType, int levelDifficulty, int instance){
String theEnvString="GeneralizedMario - Java";
ParameterHolder theParams=preload(theEnvString);
theParams.setBooleanParam("fast",true);
theParams.setBooleanParam("dark",true);
theParams.setIntegerParam("level seed",levelSeed);
theParams.setIntegerParam("level difficulty",levelType);
theParams.setIntegerParam("level type",levelDifficulty);
theParams.setIntegerParam("instance",instance);
load(theEnvString, theParams);
}