JavaAppletInitialized


stateblock JavaAppletInitialized augments RSystem {

   addstate RSystem.isJavaInitialized: boolean;

}