(typo in migrate_tomcat_credentials_to_esgf)