index.html #413 sort editor list, add tern.java