changed index and jmx.js to use the new file extensions.