java/1343: local classes are named incorrectly

[bryce@albatross.co.nz]

>Number:         1343
>Category:       java
>Synopsis:       local classes are named incorrectly
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    apbianco
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Wed Dec 20 12:19:14 PST 2000
>Closed-Date:    
>Last-Modified:  Wed Aug 16 02:00:01 PDT 2000
>Originator:     Bryce McKinlay
>Release:        current
>Organization:
>Environment:

>Description:
The following legal java doesn't compile with gcj:

class Locals
{
  void a()
  {
    class B {}
  }
  
  void b()
  {
    class B {}
  }
}

This is because gcj names both the local classes "Locals$B"
instead of "Locals$1$B" and "Locals$2$B".
>How-To-Repeat:

>Fix:

>Release-Note:
>Audit-Trail:

Formerly PR gcj/318


From: Alexandre Petit-Bianco <apbianco@cygnus.com>
To: java-gnats@sourceware.cygnus.com
Cc:  
Subject: Re: gcj/318: local classes are named incorrectly
Date: Wed, 16 Aug 2000 01:52:22 -0700 (PDT)

 bryce@albatross.co.nz writes:
 
 > This is because gcj names both the local classes "Locals$B"
 > instead of "Locals$1$B" and "Locals$2$B".
 > >How-To-Repeat:
 
 I've been aware of this problem. I also seem to remember that the way
 anonymous classes are named isn't right, though it doesn't really
 affect how programs run. Thank you.
 
 ./A
>Unformatted: