Hm, I think the coloring might matter for shops who still use javac + zinc