delete persisted settings in sql developer means