Rename ConvertCNF to ConvertCNF.java