diff --git a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
index 4805dcfcc067a1eefdd8732d6390724620aafddc..d75e0f08b9741539faad1a3c4943183c0053f233 100644
--- a/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
+++ b/src/main/scala/leon/evaluators/CodeGenEvaluator.scala
@@ -55,6 +55,10 @@ class CodeGenEvaluator(ctx : LeonContext, val unit : CompilationUnit) extends Ev
 
           case e : LeonCodeGenEvaluationException =>
             EvaluationResults.EvaluatorError(e.getMessage)
+
+          case e : java.lang.ExceptionInInitializerError =>
+            EvaluationResults.RuntimeError(e.getException.getMessage) 
+
         }
       })
     } catch {