Use this to test if java highlighting is right.