Rename insertion to insertion.java