A repository to see if a .java file can be manipulated in GitHub