package eu.jucy.op; public enum CheckState { UNCHECKED,SCHEDULED_FOR_CHECK,CHECKING,CHECKED; }