formatting Robot2013.java