JdbcPlugin.getDefault( ) .getPluginPreferences( ) .setValue( SCHEMAS_PREFETCH_CONFIG, schemasPrefetchConfigCheckbox.getSelection( ) ? ENABLED : DISABLED );
	public boolean performOk( )	{		JdbcPlugin.getDefault( )				.getPluginPreferences( )				.setValue( USER_MAX_NUM_OF_SCHEMA, maxDisplaySchemaEditor.getStringValue( ) );		JdbcPlugin.getDefault( )			.getPluginPreferences( )			.setValue( USER_MAX_NUM_OF_TABLE_EACH_SCHEMA, maxDisplayTableEditor.getStringValue( ) );		JdbcPlugin.getDefault( ).savePluginPreferences( );				return true;	}