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