Genau, einfach löschen (vorher noch irgendwo an einem anderen Ort sichern (als BackUp)).
Wird dann bei Server-Neustart neu angelegt.