throw new ArgException("Unrecognized arguments: " + Arrays.toString(nonargs));
}
} catch (ArgException ae) {
usage("while parsing command-line arguments: %s", ae.getMessage());
}
<BUG>checkOptionsValid();
Randomness.reset(randomseed);</BUG>
java.security.Policy policy = java.security.Policy.getPolicy();
<BUG>if (!GenInputsAbstract.noprogressdisplay) {
System.out.printf("policy = %s%n", policy);
}</BUG>
for (String prop : GenInputsAbstract.system_props) {

throw new ArgException("Unrecognized arguments: " + Arrays.toString(nonargs));
}
} catch (ArgException ae) {
usage("while parsing command-line arguments: %s", ae.getMessage());
}
checkOptionsValid();
if (classlist == null && methodlist == null && testclass.isEmpty()) {
System.out.println("You must specify some classes or methods to test.");
System.out.println("Use the --classlist, --testclass, or --methodlist options.");
System.exit(1);
}
Randomness.reset(randomseed);
java.security.Policy policy = java.security.Policy.getPolicy();
for (String prop : GenInputsAbstract.system_props) {
