Rename jrag file that was named with the javapt extension.