From 3a91d2157bbee240efdf2158f859a3e55b29b2a2 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 4 Jun 2011 02:32:16 +0000
Subject: [PATCH] add new file

---
 Robust/src/Runtime/objtypes.h | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 Robust/src/Runtime/objtypes.h

diff --git a/Robust/src/Runtime/objtypes.h b/Robust/src/Runtime/objtypes.h
new file mode 100644
index 00000000..98eefbba
--- /dev/null
+++ b/Robust/src/Runtime/objtypes.h
@@ -0,0 +1,13 @@
+#ifndef OBJTYPES_H
+#define OBJTYPES_H
+
+#ifdef JNI
+typedef struct ___java___________lang___________Object___ * ObjectPtr;
+typedef struct ___java___________lang___________Thread___ * ThreadPtr;
+typedef struct ___java___________lang___________String___ * StringPtr;
+#else
+typedef struct ___Object___ * ObjectPtr;
+typedef struct ___String___ * StringPtr;
+typedef struct ___Thread___ * ThreadPtr;
+#endif
+#endif
-- 
2.34.1