1 files changed, 52 insertions, 0 deletions
diff --git a/libjava/gnu/java/rmi/activation/DefaultActivationSystem.h b/libjava/gnu/java/rmi/activation/DefaultActivationSystem.h
new file mode 100644
index 00000000000..457c112ede1
--- /dev/null
+++ b/libjava/gnu/java/rmi/activation/DefaultActivationSystem.h
@@ -0,0 +1,52 @@
+
+// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
+
+#ifndef __gnu_java_rmi_activation_DefaultActivationSystem__
+#define __gnu_java_rmi_activation_DefaultActivationSystem__
+
+#pragma interface
+
+#include <java/lang/Object.h>
+extern "Java"
+{
+  namespace gnu
+  {
+    namespace java
+    {
+      namespace rmi
+      {
+        namespace activation
+        {
+            class DefaultActivationSystem;
+        }
+      }
+    }
+  }
+  namespace java
+  {
+    namespace rmi
+    {
+      namespace activation
+      {
+          class ActivationSystem;
+      }
+    }
+  }
+}
+
+class gnu::java::rmi::activation::DefaultActivationSystem : public ::java::lang::Object
+{
+
+public:
+  DefaultActivationSystem();
+  static ::java::rmi::activation::ActivationSystem * get();
+public: // actually package-private
+  static ::java::rmi::activation::ActivationSystem * system;
+  static jint ACTIVATION_REGISTRY_PORT;
+  static ::java::lang::String * AS_PORT_PROPERTY;
+  static ::java::lang::String * ACTIVATION_SYSTEM_NAME;
+public:
+  static ::java::lang::Class class$;
+};
+
+#endif // __gnu_java_rmi_activation_DefaultActivationSystem__