java 双斜杠_java – 如何使用双反斜杠或正斜杠分隔符生成目录路径？

我正在编写一个来自ant的文本文件的目录路径,稍后

Java应用程序将其读取以查找另一个文件.

在我的蚂蚁脚本中我有：

# KEY VALUE

CurrentBuildFile=${fulltrainer.dir}\current_build

在build.properties文件中,trainer.dir设置为：

trainer.dir=../trainer

它最终写作：

# KEY VALUE

CurrentBuildFile=C:\Workspaces\ralph\trainer\current_build

到commonConfig.properties文件.

我需要它写：

# KEY VALUE

CurrentBuildFile=C:\\Workspaces\\ralph\\trainer\\current_build

或者,我需要它写：

# KEY VALUE

CurrentBuildFile=C:/Workspaces/ralph/trainer/current_build

我怎样才能做到这一点？