TJCompressor.java: (C) header formatting tweak (apparently borked by one of the previous merge commits)