copy function copies contents of file into target rather than copy the file?!

[jurgenvinju]

Describe the bug

rascal>import IO;
ok
rascal>writeFile(|tmp:///a.txt|, "aaaaaa");
ok
rascal>writeFile(|tmp:///b.txt|, "bbb");
ok
rascal>copy(|tmp:///b.txt|, |tmp:///a.txt|)
ok
rascal>readFile(|tmp:///a.txt|)
str: "bbbaaa"

To be clear: that should have been bbb without the trailing aaa.

[jurgenvinju]

@JJWTimmer this is messing up some parts of the Tutor that use copy