Translating Corecursive Featherweight Java in Coinductive Logic Programming