Rename JsonISA to JsonISA.java