Using Jdeveloper on OS X Mavericks

I upgraded to OS Mavericks last night, and upon firing up Jdeveloper this morning, it didn’t start! Interesting, I also noticed that …