2 // DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
4 #ifndef __gnu_java_util_prefs_EventDispatcher__
5 #define __gnu_java_util_prefs_EventDispatcher__
9 #include <java/lang/Thread.h>
20 class EventDispatcher
;
27 class gnu::java::util::prefs::EventDispatcher
: public ::java::lang::Thread
33 static void dispatch(::java::lang::Runnable
*);
35 static ::java::lang::Thread
* dispatchThread
;
36 static ::java::util::ArrayList
* queue
;
38 static ::java::lang::Class
class$
;
41 #endif // __gnu_java_util_prefs_EventDispatcher__