Attempt to get information on failing test case in CI.

src/test/java/org/orekit/rugged/errors/DumpManagerTest.java

@@ -22,13 +22,17 @@ import java.io.File;
 import java.io.FileReader;
 import java.io.IOException;
 import java.net.URISyntaxException;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import java.nio.file.attribute.PosixFileAttributeView;
+import java.nio.file.attribute.PosixFileAttributes;
+import java.nio.file.attribute.PosixFilePermissions;
 
 import org.hipparchus.geometry.euclidean.threed.Rotation;
 import org.hipparchus.geometry.euclidean.threed.RotationConvention;
 import org.hipparchus.geometry.euclidean.threed.Vector3D;
 import org.hipparchus.util.FastMath;
 import org.junit.Assert;
-import org.junit.Ignore;
 import org.junit.Rule;
 import org.junit.Test;
 import org.junit.rules.TemporaryFolder;
@@ -237,8 +241,14 @@ public class DumpManagerTest {
        try {
            File dump = tempFolder.newFile();
            dump.setReadOnly();
+           Path path = dump.toPath();
+           PosixFileAttributes attributes = Files.getFileAttributeView(path, PosixFileAttributeView.class).readAttributes();
+           System.out.println(PosixFilePermissions.toString(attributes.permissions()) + " " +
+                              attributes.group().getName() + " " + attributes.owner().getName() + " " +
+                              path);
            DumpManager.activate(dump);
            variousRuggedCalls();
+           DumpManager.deactivate();
            Assert.fail("an exception should have been thrown");
        } catch (RuggedException re) {
            Assert.assertEquals(RuggedMessages.DEBUG_DUMP_ACTIVATION_ERROR, re.getSpecifier());