maxy = sey;
}
if (minx != world.minPxcor() || maxx != world.maxPxcor() ||
miny != world.minPycor() || maxy != world.maxPycor()) {
importerUser.setDimensions(new WorldDimensions(minx, maxx, miny, maxy));
needToResize = true;
}
} catch (ClassCastException cce) {
String abortingError = "Illegal Screen dimension- max-px/ycor, min-px/ycor must be numbers.";
throw new AbortingImportException