this.height = bounds.get("height").isNumber().doubleValue();
JSONObject camera=jsonContext.get("camera").isObject();
this.viewPoint = new Point(camera.get(X).isNumber().doubleValue(),
camera.get(Y).isNumber().doubleValue());
JSONArray defs;
int i;
defs=jsonContext.get("areaDefs").isArray();
areaDefs=new String[defs.size()];
for(i=0;i<areaDefs.length;i++){
areaDefs[i]=defs.get(i).isString().stringValue();
}
defs=jsonContext.get("lineDefs").isArray();
lineDefs=new String[defs.size()];
for(i=0;i<lineDefs.length;i++){
lineDefs[i]=defs.get(i).isString().stringValue();
}
defs=jsonContext.get("dotDefs").isArray();
dotDefs=new String[defs.size()];
for(i=0;i<dotDefs.length;i++){
dotDefs[i]=defs.get(i).isString().stringValue();
}
}