diff --git a/build.xml b/build.xml
index a84565a8c..26092ca4e 100644
--- a/build.xml
+++ b/build.xml
@@ -514,7 +514,7 @@
-
@@ -539,7 +539,7 @@
-
diff --git a/src/main/org/apache/tools/ant/taskdefs/GZip.java b/src/main/org/apache/tools/ant/taskdefs/GZip.java
index 935b93ef9..6956c315f 100644
--- a/src/main/org/apache/tools/ant/taskdefs/GZip.java
+++ b/src/main/org/apache/tools/ant/taskdefs/GZip.java
@@ -72,13 +72,8 @@ public class GZip extends Task {
private File zipFile;
private File source;
- public void setTofile(File file) {
- zipFile = file;
- }
-
public void setZipfile(File zipFile) {
- log("DEPRECATED - The zipfile attribute is deprecated. Use tofile attribute instead.");
- setTofile( zipFile );
+ this.zipFile = zipFile;
}
public void setSrc(File src) {