Reformatted RestReplay.java as unix, and Refactored into ControlFile.java