[en] Java: File.renameTo() doesn’t work on Linux between partitions

I have /tmp and /home on dif­fe­rent par­ti­tions. When try­ing to move a file from /tmp to /home using File.renameTo() — it fails. Turns out one has to copy and dele­te the file him­self, rena­me­To works only insi­de sin­gle partition.