// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-

#ifndef __java_util_RandomAccess__
#define __java_util_RandomAccess__

#pragma interface

#include <java/lang/Object.h>

class java::util::RandomAccess : public ::java::lang::Object
{

public:
  static ::java::lang::Class class$;
} __attribute__ ((java_interface));

#endif // __java_util_RandomAccess__