Use Pygments for the Java code