commit 54207c024780a73aeb491a9655b062331d7c248e
author jlanneluc <jlanneluc> Wed Jun 30 09:43:40 2004 +0000
committer jlanneluc <jlanneluc> Wed Jun 30 09:43:40 2004 +0000
tree 282a9af7bd3072c8c4d4388db69bfa2451462432
parent d29dd63c0ffc1717111d60d48a34d4e58ab8963a

Removed deprecation warnings for set*Charset(...) usage

model/org/eclipse/jdt/internal/core/CopyResourceElementsOperation.java

diff --git a/model/org/eclipse/jdt/internal/core/CopyResourceElementsOperation.java b/model/org/eclipse/jdt/internal/core/CopyResourceElementsOperation.java
index 67bff2d..7fc4697 100644
--- a/model/org/eclipse/jdt/internal/core/CopyResourceElementsOperation.java
+++ b/model/org/eclipse/jdt/internal/core/CopyResourceElementsOperation.java
@@ -283,7 +283,7 @@
 					try {
 						// TODO (frederic) remove when bug 67606 will be fixed (bug 67823)
 						// fix bug 66898
-						if (sourceEncoding != null) destFile.setCharset(sourceEncoding);
+						if (sourceEncoding != null) destFile.setCharset(sourceEncoding, this.progressMonitor);
 						// end todo
 						encoding = destFile.getCharset();
 					}
@@ -334,7 +334,7 @@
 					try {
 						// TODO (frederic) remove when bug 67606 will be fixed (bug 67823)
 						// fix bug 66898
-						if (sourceEncoding != null) destFile.setCharset(sourceEncoding);
+						if (sourceEncoding != null) destFile.setCharset(sourceEncoding, this.progressMonitor);
 						// end todo
 						encoding = destFile.getCharset();
 					}