--- a/graal/com.oracle.max.cri/src/com/sun/cri/ci/CiAssumptions.java	Sun Dec 18 05:23:52 2011 +0100
+++ b/graal/com.oracle.max.cri/src/com/sun/cri/ci/CiAssumptions.java	Sun Dec 18 05:24:06 2011 +0100
@@ -34,7 +34,17 @@
  */
 public final class CiAssumptions implements Serializable, Iterable<CiAssumptions.Assumption> {
 
+    /**
+     *
+     */
+    private static final long serialVersionUID = 5152062717588239131L;
+
     public abstract static class Assumption implements Serializable {
+
+        /**
+         *
+         */
+        private static final long serialVersionUID = -1936652569665112915L;
     }
 
     /**
@@ -42,6 +52,11 @@
      */
     public static final class ConcreteSubtype extends Assumption {
         /**
+         *
+         */
+        private static final long serialVersionUID = -1457173265437676252L;
+
+        /**
          * Type the assumption is made about.
          */
         public final RiResolvedType context;
@@ -81,6 +96,11 @@
     public static final class ConcreteMethod extends Assumption {
 
         /**
+         *
+         */
+        private static final long serialVersionUID = -7636746737947390059L;
+
+        /**
          * A virtual (or interface) method whose unique implementation for the receiver type
          * in {@link #context} is {@link #impl}.
          */
@@ -162,7 +182,9 @@
      * @param receiverType the type that is assumed to have no finalizable subclasses
      * @return {@code true} if the assumption was recorded and can be assumed; {@code false} otherwise
      */
+    @SuppressWarnings("static-method")
     public boolean recordNoFinalizableSubclassAssumption(RiResolvedType receiverType) {
+        // TODO(tw): Record that assumption correctly.
         return false;
     }