bug fix in gcollect prefetch cache flush

[IRC.git] / Robust / src / ClassLibrary / JavaThread / Object.java

diff --git a/Robust/src/ClassLibrary/JavaThread/Object.java b/Robust/src/ClassLibrary/JavaThread/Object.java
index a9bf6f4dc8e573ec939704ea272b8fdc5aa6827c..a3bc22d94ab17ff51636f5528e55cf8c3039a7ef 100644 (file)
--- a/Robust/src/ClassLibrary/JavaThread/Object.java
+++ b/Robust/src/ClassLibrary/JavaThread/Object.java
@@ -6,6 +6,9 @@ public class Object {
   private Object nextlockobject;
   private Object prevlockobject;
 
+  // temporary extra unused int filed to align objects for Java
+  int wkhqwemnbmwnb;
+
   public int hashCode() {
     if (!cachedHash) {
       cachedCode=nativehashCode();