+// Copyright 2000-2005 the Contributors, as shown in the revision logs.
+// Licensed under the GNU General Public License version 2 ("the License").
+// You may not use this file except in compliance with the License.
+
// IMPORTANT: inclusion order: always include gcjh'ed headers first, then superclass cc's, then system headers
#undef file
#include <stdint.h>