java/openjdk7: Forgot to update distinfo