deterministically reformat javascript code