I just noticed that the Java version number parameter for the Mac application package of Protege 3.3 may be set incorrectly. In the Protege.app/Contents/Info.plist, the JVMVersion key has the value 1.4 +, whereas it should be 1.5+