|  |  | 
 |  |  | import java.nio.file.Files; | 
 |  |  |  | 
 |  |  | /** | 
 |  |  |  * | 
 |  |  |  * Eine Datei duplizieren | 
 |  |  |  *  | 
 |  |  |  * @author Ulrich Hilger | 
 |  |  |  * @version 0.1, 08.11.2024 | 
 |  |  |  */ | 
 |  |  | public class Duplicator { | 
 |  |  |    | 
 |  |  |   /** | 
 |  |  |    * Eine Datei duplizieren. Es entsteht eine neue Datei mit Namen  | 
 |  |  |    * [Dateiname]-Kopie.[Endung], d.h. eine Datei namens datei.txt  | 
 |  |  |    * wird dupliziert in datei-Kopie.txt | 
 |  |  |    *  | 
 |  |  |    * Wenn die Zieldatei bereits existiert, wird der neuen Datei eine  | 
 |  |  |    * laufende Nummer angehaengt, d.h. aus datei.txt wird datei-Kopie-1.txt,  | 
 |  |  |    * wenn datei-Kopie.txt bereits existiert. | 
 |  |  |    *  | 
 |  |  |    * @param base  der absolute Basispfad | 
 |  |  |    * @param relPfad relative Pfad nebst Name der zu duplizierenden Datei | 
 |  |  |    * @return  Name des erstellten Duplikats | 
 |  |  |    * @throws IOException  wenn etwas schief geht | 
 |  |  |    */ | 
 |  |  |   public String duplizieren(String base, String relPfad) throws IOException { | 
 |  |  |     File srcFile = new File(base, relPfad); | 
 |  |  |     String fnameext = srcFile.getName(); |