publish: Use Pygments for the Java code

generated from commit 98ea89223cf1661ce87b358687062defb9065616