Update and rename Josephus.txt to Josephus.java