test/hotspot/jtreg/runtime/records/notFinalRecord.jcod

*** 27,37 ****
  // This test is a Record but not marked final.  It should result in a
  // ClassFormatError exception.
  class notFinalRecord {
    0xCAFEBABE;
    65535; // minor version
!   58; // version
    [69] { // Constant Pool
      ; // first element is empty
      Method #2 #3; // #1     at 0x0A
      class #4; // #2     at 0x0F
      NameAndType #5 #6; // #3     at 0x12
--- 27,37 ----
  // This test is a Record but not marked final.  It should result in a
  // ClassFormatError exception.
  class notFinalRecord {
    0xCAFEBABE;
    65535; // minor version
!   59; // version
    [69] { // Constant Pool
      ; // first element is empty
      Method #2 #3; // #1     at 0x0A
      class #4; // #2     at 0x0F
      NameAndType #5 #6; // #3     at 0x12