Boilerplate definitions for JVM interoperability