InvertiblePredicate class code fixed to follow JavaCodeConv. Hope im right