Как кодируется токен API в файлах конфигурации Jenkins?

Я использую тестовую настройку Jenkins 1.644, где я создал пользователя с именем admin,

Веб-интерфейс говорит, что токен API пользователя aa13769c03d0ef0618380ae6940b5e3a,

Файл конфигурации пользователя users/admin/config.xml содержит следующее.

<jenkins.security.ApiTokenProperty>
  <apiToken>JvzeeQeyI/p/93m3+Cmb1k0j+js7voeJSFbef77eBRy8ItQH5BJoIsYgXTelX7sC</apiToken>
</jenkins.security.ApiTokenProperty>

Кто-нибудь знает, какой алгоритм кодирования / декодирования используется для перехода от одного значения к другому?