From 5c7ab8df297178b94b9072690a28aa906503078b Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Thu, 27 Oct 2016 17:01:44 +0100
Subject: [PATCH] Stub Java 8 lambdas

---
 src/java_bytecode/java_bytecode_convert_method.cpp | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
index 49b621aed89..45211a6f022 100644
--- a/src/java_bytecode/java_bytecode_convert_method.cpp
+++ b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -19,6 +19,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/arith_tools.h>
 #include <util/ieee_float.h>
 #include <util/expr_util.h>
+#include <linking/zero_initializer.h>
 
 #include "java_bytecode_convert_method.h"
 #include "bytecode_info.h"
@@ -701,7 +702,12 @@ codet java_bytecode_convert_methodt::convert_instructions(
       if(return_type.id()!=ID_empty)
       {
         results.resize(1);
-        results[0]=nil_exprt();
+        results[0]=
+          zero_initializer(
+            return_type,
+            i_it->source_location,
+            namespacet(symbol_table),
+            get_message_handler());
       }
     }
     else if(statement=="invokeinterface" ||