Fix red markers under jdk 1.7