Closed rvjansen closed 1 year ago
as reported by Gustavo Mindreau. Needs to be deleted in an exit handler, if modern Java still allows that.
fixed in 4.05
as reported by Gustavo Mindreau. Needs to be deleted in an exit handler, if modern Java still allows that.