!include once #1019934 // BCEL

static int bcel_javaVersionOfClass(JavaClass c) {
  ret classFileVersionToJavaVersion(c.getMajor());
}