Sort read files to make the output of updateJS.js more stable.