Instrumentation added for property Java 4-3 (JavaMOP)
Instrumentation added for property Java 4-2 (JavaMOP)
*JavaMOP properties names standardised
*Method and constant for nonexistent JavaMOP 5 removed
*New version of property 4-3 (JavaMOP) created when function calls are
interleaved
*Guard 'or' created
*Bug fixed in guard 'and'