    001    package escjava;
    002
    003    import java.awt.Color;
    004
    005    public class ColorOptions {
    006        static public final Color notParsed = null;
    007        static public final /*@ non_null @*/ Color typecheckOK = Color.GREEN;
    008        static public final /*@ non_null @*/ Color typecheckCaution = Color.YELLOW;
    009        static public final /*@ non_null @*/ Color typecheckError = Color.RED;
    010        static public final /*@ non_null @*/ Color staticcheckOK = Color.GREEN;
    011        static public final /*@ non_null @*/ Color staticcheckError = Color.RED;
    012        static public final /*@ non_null @*/ Color staticcheckTimeout = Color.BLUE;
    013        static public final /*@ non_null @*/ Color childError = new Color(255,128,0);
    014    }