Implementação no JavaVM