user/jszakmeister: add a printf snippet for Java