} else {
XMLDecoder decoder = new XMLDecoder(new BufferedInputStream(new FileInputStream(file)));
cameraSettings = (CameraDevice.Settings)decoder.readObject();
projectorSettings = (ProjectorDevice.Settings)decoder.readObject();
objectFinderSettings = (ObjectFinder.Settings)decoder.readObject();
markerDetectorSettings = (MarkerDetector.Settings)decoder.readObject();
alignerSettings = (GNImageAligner.Settings)decoder.readObject();
handMouseSettings = (HandMouse.Settings)decoder.readObject();
virtualBallSettings = (VirtualBall.Settings)decoder.readObject();
realityAugmentorSettings = (RealityAugmentor.Settings)decoder.readObject();
trackingSettings = (TrackingWorker.Settings)decoder.readObject();