public static void javaOutputClassVariableDefinitions(Cons variabletranslations) {
    { Stella_Object statement = null;
      Cons iter000 = variabletranslations;

      for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
        statement = iter000.value;
        Stella_Object.javaOutputStatement(((Cons)(statement)));
      }
    }
  }