Delete String.php~