2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __java_util_RandomAccess__
5 #define __java_util_RandomAccess__
9 #include <java/lang/Object.h>
11 class java::util::RandomAccess : public ::java::lang::Object
15 static ::java::lang::Class class$;
16 } __attribute__ ((java_interface));
18 #endif // __java_util_RandomAccess__