Index: /trunk/src/org/openstreetmap/josm/plugins/Plugin.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/plugins/Plugin.java	(revision 13192)
+++ /trunk/src/org/openstreetmap/josm/plugins/Plugin.java	(revision 13193)
@@ -175,5 +175,7 @@
      * does not exist but cannot be created, or cannot be opened for any other reason
      * @throws IOException if any other I/O error occurs
-     */
+     * @deprecated without replacement
+     */
+    @Deprecated
     public void copy(String from, String to) throws IOException {
         String pluginDirName = getPluginDir();