00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT! -*- c++ -*- 00002 00003 #ifndef jdb_halt_thread_h 00004 #define jdb_halt_thread_h 00005 00006 #endif // jdb_halt_thread_h