adding the .mop files from Google Code
replacing 'javamoprt' with 'com.runtimeverification.rvmonitor.java.rt' in all the .mop files
replacing 'MOPLogging' with 'RVMLogging' in the .mop files
modifying BufferedInputStream_SynchronizedFill.mop to not use ptcaret anymore
fixing namespace clash in ShutdownHook_UnsafeAWTCall.mop (java.awt.List was previously clashing with java.util.List)
Merge pull request #2 from runtimeverification/addMOPFiles

Adding .mop files to property-doc