Fixed bug in removing from a non-empty directory. Slight change in rmdir(). Deleted File.java.