Se alla fine ti serve un java.io.File:
File f = new File(pathdirectory, nomefile);
Esistono comunque le costanti File.separatorChar (è un char) e File.separator (è un String).
Sì ma non è che "corregge" lui eventuali fesserie scritte dal programmatore .....
Detto in altro modo: se il programmatore scrive fesserie non puoi incolpare il linguaggio.![]()