XMLDecoder decoder = new XMLDecoder(new BufferedInputStream(new FileInputStream(file)));
cameraSettings = (CameraSettings)decoder.readObject();
projectorSettings = (ProjectorSettings)decoder.readObject();
markerSettings = (Marker.ArraySettings)decoder.readObject();
markerDetectorSettings = (MarkerDetector.Settings)decoder.readObject();
geometricCalibratorSettings = (CalibrationWorker.GeometricSettings)decoder.readObject();
colorCalibratorSettings = (CalibrationWorker.ColorSettings)decoder.readObject();
try {
String s = (String)decoder.readObject();
calibrationFile = s == null ? null : new File(s);
} catch (java.lang.ArrayIndexOutOfBoundsException ex) { }