use neater formatting of directory listing
updated to latest jolokia and codemirror