deleted file generated by Dr. Java