ALTER TABLE settings ADD COLUMN auto_set_java_high_performance_mode INTEGER NOT NULL DEFAULT TRUE;