> > So it seems that there's a case to be answered for how Sun's runtime > behaves, given that the jdk compiler does not adhere to Sun's > specification. > As I said, my FinalInt.java example, when compiled with kjc, verifies and executes just fine under Sun's JDK 1.1.7 and 1.2. - Godmar