while (values.hasNext()) {
theJarContainer = values.next();
Iterator<String> k = theJarContainer.primManager.getPrimitiveNames();
while (k.hasNext()) {
String name = k.next();
Primitive p = theJarContainer.primManager.getPrimitive(name);
String type = (p instanceof org.nlogo.api.Reporter ? "Reporter" : "Command");
pstr += theJarContainer.prefix + "\t" + name + "\t" + type + "\n";
}
}