Checker Framework always crashes on all Windows boxes in my team

[obfischer]

Dear all,

The Checker Framework fails in our project on all Windows boxes, while it runs fine on MacOS and Linux. Any idea who to fix this? Currently have we deactivated Checker.

End of remainingJdkStubFilesJar for KeyForAnnotatedTypeFactory from
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar).
Contents of
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar):
error: Error when invoking constructor
org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory(class
org.checkerframework.common.basetype.BaseTypeChecker) on args
[org.checkerframework.checker.nullness.KeyForSubchecker@cb2d73]; cause:
Cannot open the jar file
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar)
  ; The Checker Framework crashed.  Please report the crash. Version:
Checker Framework 3.47.0.

  Exception: org.checkerframework.javacutil.BugInCF: Cannot open the
jar file
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar);
org.checkerframework.javacutil.BugInCF: Cannot open the jar file
[file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar](file:///c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar)

Hope you can help.

Bye,

Oliver

[obfischer]

I tried to post this to the mailing list, but my mails never reach the list.

[mernst]

I'm sorry you are having trouble.

Does the file file:/c:/opt/mavencache/org/checkerframework/checker/3.47.0/checker-3.47.0.jar exist?

Also, can you please provide a complete working example, preferably as a set of commands that we can paste into a shell in order to reproduce your problem?