replacing 'javamoprt' with 'com.runtimeverification.rvmonitor.java.rt' in all the .mop files