remove namespace from vtable

Author: mgudemann

src/java_bytecode/java_bytecode_vtable.cpp

@@ -16,9 +16,6 @@ Author: Daniel Kroening, [email protected]
 #include <util/std_types.h>
 #include <util/vtable.h>
 
-namespace
-{
-
 const char ID_virtual_name[] = "virtual_name";
 
 class is_virtual_name_equalt {
@@ -213,7 +210,6 @@ class java_bytecode_vtable_factoryt
   }
 };
 
-}
 
 /*******************************************************************