rename files to .java extension