SCOPE Session
SECURITY STATE boolean haveRead = false;
BEFORE javax.microedition.rms.RecordStore.openRecordStore(java.lang.String name, boolean createIfNecessary)
   PERFORM
      true -> {haveRead = true;}

BEFORE javax.microedition.io.Connector.openDataOutputStream(java.lang.String url)
   PERFORM 
      haveRead == false -> {haveRead = true;}