# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1100022357 -3600
# Node ID 946dca5710eab90b52f148343da6663855a524de
# Parent  5f0832d56165be91c474b88988bbc29c75549b77
Changed the Python equivalent of <init> to be a special __java_init__
method.

diff -r 5f0832d56165 -r 946dca5710ea classfile.py
--- a/classfile.py	Tue Nov 09 01:25:47 2004 +0100
+++ b/classfile.py	Tue Nov 09 18:45:57 2004 +0100
@@ -36,7 +36,7 @@
     def get_python_name(self):
         name = self.get_name()
         if str(name) == "<init>":
-            return "__init__"
+            return "__java_init__"
         else:
             return name