he path split symbol problem is different for different operating systems. Hard-coded file separators should not be used. Instead, use a platform-independent API provided by the language library,such as java.io.File.separator or java.lang.System.getProperty("file.separator")
https://github.com/google/depan/blob/a761d9e0c71d7b970fb1969192f54698939da6d4/DepanJava/prod/src/com/google/devtools/depan/java/graph/FieldElement.java#L90-L91
he path split symbol problem is different for different operating systems. Hard-coded file separators should not be used. Instead, use a platform-independent API provided by the language library,such as java.io.File.separator or java.lang.System.getProperty("file.separator")