}

    private void upgradeFrom13_1() {
        // nothing
    }

    private void upgradeFrom13_2() {
        // nothing
    }

    private void upgradeFrom13_3() {

labels.paths=Paths
labels.port=Port
labels.regex=Regular Expression
labels.regularName=Regular Name
labels.replacement=Replacement
labels.sessionId=Session ID
labels.sortOrder=Display Order
labels.updatedBy=Updated by
labels.updatedTime=Updated Time
labels.urls=URLs
labels.userAgent=User Agent
labels.username=Username
labels.value=Value
labels.versionNo=Version No.
labels.cronExpression=Schedule
labels.dayForCleanup=Remove Documents Before Days

labels.paths=Paths
labels.port=Port
labels.regex=Regular Expression
labels.regularName=Regular Name
labels.replacement=Replacement
labels.sessionId=Session ID
labels.sortOrder=Display Order
labels.updatedBy=Updated by
labels.updatedTime=Updated Time
labels.urls=URLs
labels.userAgent=User Agent
labels.username=Username
labels.value=Value
labels.versionNo=Version No.
labels.cronExpression=Schedule
labels.dayForCleanup=Remove Documents Before Days

labels.port=Port
labels.regex=Reg. Ausdruck
labels.regularName=Regulärer Name
labels.replacement=Ersetzung
labels.sessionId=Session-ID
labels.sortOrder=Sortierreihenfolge
labels.updatedBy=Aktualisiert von
labels.updatedTime=Aktualisierungszeit
labels.urls=URLs
labels.userAgent=User Agent
labels.username=Benutzername
labels.value=Wert
labels.versionNo=Version
labels.cronExpression=Zeitplan

labels.password = 비밀번호
labels.paths = 경로
labels.port = 포트
labels.regex = 정규 표현식
labels.regularName = 정규식 이름
labels.replacement = 바꿈
labels.sessionId = 세션 ID
labels.sortOrder = 순서
labels.updatedBy = 수정자
labels.updatedTime = 수정 시간
labels.urls = URL
labels.userAgent = 사용자 에이전트
labels.username = 사용자 이름
labels.value = 값
labels.versionNo = 버전 번호
labels.cronExpression = 스케줄
labels.dayForCleanup = 지정일 이전 문서 삭제

labels.paths=Путь
labels.port=Порт
labels.regex=Regexp.
labels.regularName=Регулярное выражение
labels.replacement=Замена
labels.sessionId=ID сессии
labels.sortOrder=Порядок отображения
labels.updatedBy=Обновлено
labels.updatedTime=Время обновления
labels.urls=URLs
labels.userAgent=Агент пользователя
labels.username=ИмяПользователя
labels.value=Значение
labels.versionNo=Версия No.
labels.cronExpression=Расписание

labels.regex	=	Expression régulière
labels.regularName	=	Nom régulier
labels.replacement	=	Remplacement
labels.sessionId	=	ID de session
labels.sortOrder	=	Ordre d'affichage
labels.updatedBy	=	Mis à jour par
labels.updatedTime	=	Heure mise à jour
labels.urls	=	URL
labels.userAgent	=	Agent utilisateur
labels.username	=	Nom d'utilisateur
labels.value	=	Valeur
labels.versionNo	=	Numéro de version
labels.cronExpression	=	Programmation

labels.pageNumber=ページ番号
labels.password=パスワード
labels.paths=パス
labels.port=ポート
labels.regex=正規表現
labels.regularName=正規名
labels.replacement=置換
labels.sessionId=セッションID
labels.sortOrder=表示順序
labels.updatedBy=更新者
labels.updatedTime=更新時間
labels.urls=URL
labels.userAgent=ユーザーエージェント
labels.username=ユーザー名
labels.value=値
labels.versionNo=バージョン番号
labels.cronExpression=スケジュール
labels.dayForCleanup=指定日以前のドキュメントの削除
labels.crawlingThreadCount=同時クロール数

    public static final String LABELS_UPDATED_BY = "{labels.updatedBy}";

    /** The key of the message: Updated Time */
    public static final String LABELS_UPDATED_TIME = "{labels.updatedTime}";

    /** The key of the message: URLs */
    public static final String LABELS_URLS = "{labels.urls}";

    /** The key of the message: User Agent */

	// This goroutine owns the cache.
	var saverWg sync.WaitGroup
	saverWg.Add(1)
	go func() {
		// Add jitter to the update time so multiple sets don't sync up.
		updateTime := 30*time.Second + time.Duration(float64(10*time.Second)*rand.Float64())
		t := time.NewTicker(updateTime)
		defer t.Stop()
		defer saverWg.Done()
		var lastSave time.Time

		for {
			select {
			case <-t.C: