Renamed Java files from .txt to .java for ease of use