Name: dkR10014			Date: 12/08/2003


----------------------------------------------------------
Test            : nsk/jdi/ReferenceType/isFinal/isfinal002
TestBase        : testbase_nsk
VM              : Client, Server
Mode            : all
Platform        : all
JDK             : 1.5.0-b30
----------------------------------------------------------

Error message:
# ERROR: debugger FAILURE > ReferenceType.isFinal() returned false for
    nsk.jdi.ReferenceType.isFinal.isfinal002a$Enum1
# ERROR: debugger FAILURE > ReferenceType.isFinal() returned false for
    nsk.jdi.ReferenceType.isFinal.isfinal002a$Enum1$Enum1_
# ERROR: debugger FAILURE > ReferenceType.isFinal() returned false for
    nsk.jdi.ReferenceType.isFinal.isfinal002Enum2
# ERROR: debugger FAILURE > ReferenceType.isFinal() returned false for
    nsk.jdi.ReferenceType.isFinal.isfinal002Enum2$Enum2_

The test checks if ReferenceType.isFinal() returns true for any mirrored
enum type which does not have enum constant-specific class bodies.
This kind of enum types are implicitly final according to current enum
specification "A Typesafe Enum Facility for the Java Programming Language.
Premilinary Public Review Draft 3". The Chapter II 'Syntax' of this doc says:
   All enum declarations are implicitly final unless they contain
   constant-specific class bodies (which result in implicit subclasses).

This test will be available in r25 of testbase_nsk.

Steps to reproduce:
    cd /net/jano.sfbay/export/disk20/GammaBase/Bugs/<this bug number>
    sh doit.sh $JAVA_HOME [$DEBUGEE_VM_OPTS]

======================================================================

Name: dkR10014			Date: 01/08/2004


This bug affects the following NSK test:
 nsk/jdi/Accessible/modifiers/modifiers002

======================================================================