Delete settings_java.diff