Changed FileWriter to File for output in SerializeCorefData