Add (java) ProvToolobx as requirements