339 …	properties.setProperty(AUDIO_FORMAT_CHANNELS_PROPERTY, String.valueOf(audioFormat.getChannels()));  in store()
340 …properties.setProperty(AUDIO_FORMAT_SAMPLE_RATE_PROPERTY, String.valueOf(audioFormat.getSampleRate…  in store()
341 …properties.setProperty(AUDIO_FORMAT_SAMPLE_SIZE_PROPERTY, String.valueOf(audioFormat.getSampleSize…  in store()
343 		properties.setProperty(BORDER_PROPERTY, String.valueOf(border));    				  in store()
344 		properties.setProperty(FRAMES_PER_SECOND_PROPERTY, String.valueOf(framesPerSecond));    				  in store()
345 		properties.setProperty(IMAGE_FORMAT_PROPERTY, String.valueOf(imageFormat));    				  in store()
346 		properties.setProperty(INACTIVITY_INTERVAL_PROPERTY, String.valueOf(inactivityInterval));    				  in store()
347 		properties.setProperty(LOOP_PROPERTY, String.valueOf(loop));    				  in store()
348 		properties.setProperty(MIXER_NAME_PROPERTY, String.valueOf(mixerName));    				  in store()
349 		properties.setProperty(MOUSE_PROPERTY, String.valueOf(mouse));    				  in store()
350 		properties.setProperty(PLAY_PROPERTY, String.valueOf(play));    				  in store()
351 		properties.setProperty(REMOVE_INACTIVITY_PROPERTY, String.valueOf(removeInactivity));    				  in store()
352 		properties.setProperty(SCREEN_SCALE_PROPERTY, String.valueOf(screenScale));    				  in store()
353 		properties.setProperty(SOUND_PROPERTY, String.valueOf(sound));    				  in store()
354 		properties.setProperty(SPEED_SCALE_PROPERTY, String.valueOf(speedScale));    				  in store()
355 		properties.setProperty(TOOL_BAR_PROPERTY, String.valueOf(toolBar));  in store()
357 …properties.setProperty(RECORDING_RECTANGLE_PROPERTY, recordingRectangle.x+";"+recordingRectangle.y…  in store()
360 			properties.setProperty(MP3_COMMAND_PROPERTY, mp3command);  in store()
363 			properties.setProperty(ENCODER_NAME_PROPERTY, encoder.toString());  in store()