It will also be possible to optimize the JVM by skipping unnecessary safety checks, if the application being run is proven to be safe.
Такође могуће да се оптимизира ЈВМ прескачући непотребне безбедносне провере, ако је доказано да је апликација безбедна .