[your_files_directory]/languages/ (if any)Then execute the following queries on the database (see settings.php for which database is in use):
UPDATE languages SET javascript = '' WHERE LANGUAGE = '[yourlanguage]';UPDATE variable SET VALUE = 'a:0:{}' WHERE name = 'javascript_parsed';TRUNCATE cache;If you now visit the relevant page, the translation will be regenerated.