Rename MagicIndex.java to MagicIndex_9.3.java