diff --git a/src/main/java/org/orekit/rugged/errors/DumpReplayer.java b/src/main/java/org/orekit/rugged/errors/DumpReplayer.java
index 2308472f7cd28059a2435011ed4781e192c1582e..4a02b3c56057a0237c21e7b1c04358dcd1ea788f 100644
--- a/src/main/java/org/orekit/rugged/errors/DumpReplayer.java
+++ b/src/main/java/org/orekit/rugged/errors/DumpReplayer.java
@@ -415,21 +415,7 @@ public class DumpReplayer {
 
             return rugged;
 
-        } catch (IOException ioe) {
-            throw new RuggedException(ioe, LocalizedCoreFormats.SIMPLE_MESSAGE, ioe.getLocalizedMessage());
-        } catch (SecurityException e) {
-            // this should never happen
-            throw new RuggedInternalError(e);
-        } catch (NoSuchMethodException e) {
-            // this should never happen
-            throw new RuggedInternalError(e);
-        } catch (IllegalArgumentException e) {
-            // this should never happen
-            throw new RuggedInternalError(e);
-        } catch (IllegalAccessException e) {
-            // this should never happen
-            throw new RuggedInternalError(e);
-        } catch (InvocationTargetException e) {
+        } catch (IOException | NoSuchMethodException  | IllegalAccessException  | InvocationTargetException e) {
             // this should never happen
             throw new RuggedInternalError(e);
         }