Lukas Grätz
Lukas Grätz
We have worked on these issue on a fork. It was not that difficult but took quite a time. We created new plugins for the variables `state.dvars` and `p.kb.dvars`, which...
Thanks for the quick reply! * We just named it nvariables for new because `p.kb.variables` already existed. However, it did not seem to have the possibility to have overlapping variable...
Thank you, I was a bit afraid and thought it would be much harder to get it merged. So I am really happy now. > Do you intend to implement...
Code fixed during null check annotations: * repaired {ZipFileCollection, DirectoryFileCollection}.opencurrent(FileRepo) accoriding to interface docs
Ok, now that I am back in europe, I looked into it. The problem seems to be that recorder or KeY simplifies the empty block away. So ```Java if(true) {...
Duplicate to #1158.
* I could not reproduce the bug on my computer (commit c0eca7725ce4b77aedcf2d35d26f5f5e08d845de, manjaro linux). * @flo2702 reproduced it (same commit, ubuntu linux).
We suspect it has something to do with drawing in normal threads instead of swing threads (concurrency bug).