Modified translation backend to work around the PropertyResourceBundle bug.