FunctionalJava dependency made explicit for Protégé.