re-generated JastAdd frontend code
removed unmappable characters