Delete codonpdx.java~