dafny build/test/run fails on Java + Windows

[MikaelMayer]

Dafny version

4.0.0

Code to produce this issue

method {:test} Test() {
  expect 1 == 2;
}

Command to run and resulting output

dafny test --target java git-issue-3724.dfy

What happened?

Picked up JAVA_TOOL_OPTIONS: -Dlog4j2.formatMsgNoLookups=true
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());
                                             ^
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());
                                                   ^
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());
                                                            ^
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());
                                                                      ^
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());
                                                                                  ^
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: ';' expected
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());


       ^
C:\Users\username\git-issue-3724\_System\__default.java
:57: error: ';' expected
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(51,4): " + (dafny.DafnySequence.asUnicodeString("expectation viol
ation")).verbatimString());


                         ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());
                                             ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());
                                                   ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());
                                                            ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());
                                                                      ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: illegal escape character
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());
                                                                                  ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: ';' expected
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());


                     ^
C:\Users\username\git-issue-3724\_System\__default.java
:83: error: ';' expected
      throw new dafny.DafnyHaltException("C:\Users\username\git-issue-3724.dfy(1,0): " + (dafny.DafnySequence.asUnicodeString("Test failures occ
urred: see above.\n")).verbatimString());


                                       ^
14 errors
Error while compiling Java files. Process exited with exit code 1

What type of operating system are you experiencing the problem on?

Windows