For JVMINT Internals class