java.io.File separator replaced by java.nio separator mechanism