Fix problem with method names in the generated Java monitor

A notification named 'notify' causes problems in the Java monitor because notify is a method for all Java objects