Prove Java