[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.