Philippe Marschall 8c7fb5ca02 Check the return value of File.delete() ...

Check the return value of File.delete() and
throw an exception if deleting a file fails.

Issue #4203

2023-02-13 14:12:56 +01:00

..

src

Check the return value of File.delete()

2023-02-13 14:12:56 +01:00

pom.xml

Revert "Update next development version to 5.1.0-SNAPSHOT"

2022-12-09 01:30:34 +01:00