classfile: allow file format version 51