somehow git HEAD info got into a java file