OT (?) installing JDeveloper