public static final String GUI_DEFAULT_FORMATTER_NEWNAME_1 = "GUI_DEFAULT_FORMATTER_NEWNAME_1";
public static final String GUI_DEFAULT_FORMATTER_TEXT_0 = "GUI_DEFAULT_FORMATTER_TEXT_0";
public static final String GUI_DEFAULT_FORMATTER_TYPE_0 = "GUI_DEFAULT_FORMATTER_TYPE_0";
public static final String GUI_DEFAULT_FORMATTER_TYPE_1 = "GUI_DEFAULT_FORMATTER_TYPE_1";
public static final String GUI_GROUPNAME_DAY_1 = "GUI_GROUPNAME_DAY_1";
<BUG>public static final String GUI_GROUPNAME_EVERYTHING_ELSE_0 = "GUI_GROUPNAME_EVERYTHING_ELSE_0";
public static final String GUI_GROUPNAME_SESSION_2 = "GUI_GROUPNAME_SESSION_2";</BUG>
public static final String GUI_RELATED_RESOURCE_CAN_NOT_BE_PUBLISHED_0 = "GUI_RELATED_RESOURCE_CAN_NOT_BE_PUBLISHED_0";
public static final String GUI_RESOURCE_LOCKED_BY_2 = "GUI_RESOURCE_LOCKED_BY_2";
public static final String GUI_RESOURCE_MISSING_ONLINE_0 = "GUI_RESOURCE_MISSING_ONLINE_0";

public static final String GUI_DEFAULT_FORMATTER_NEWNAME_1 = "GUI_DEFAULT_FORMATTER_NEWNAME_1";
public static final String GUI_DEFAULT_FORMATTER_TEXT_0 = "GUI_DEFAULT_FORMATTER_TEXT_0";
public static final String GUI_DEFAULT_FORMATTER_TYPE_0 = "GUI_DEFAULT_FORMATTER_TYPE_0";
public static final String GUI_DEFAULT_FORMATTER_TYPE_1 = "GUI_DEFAULT_FORMATTER_TYPE_1";
public static final String GUI_GROUPNAME_DAY_1 = "GUI_GROUPNAME_DAY_1";
public static final String GUI_GROUPNAME_EVERYTHING_ELSE_0 = "GUI_GROUPNAME_EVERYTHING_ELSE_0";
public static final String GUI_GROUPNAME_SESSION_1 = "GUI_GROUPNAME_SESSION_1";
public static final String GUI_GROUPNAME_SESSION_2 = "GUI_GROUPNAME_SESSION_2";
public static final String GUI_RELATED_RESOURCE_CAN_NOT_BE_PUBLISHED_0 = "GUI_RELATED_RESOURCE_CAN_NOT_BE_PUBLISHED_0";
public static final String GUI_RESOURCE_LOCKED_BY_2 = "GUI_RESOURCE_LOCKED_BY_2";
public static final String GUI_RESOURCE_MISSING_ONLINE_0 = "GUI_RESOURCE_MISSING_ONLINE_0";
