import java.time.ZonedDateTime;
import java.time.format.DateTimeFormatter;

public class JI9040680 {

	public static void main(String[] args) {
		String ds = "Fri Apr 01 00:13:53 EDT 2016"; 
		String dtfmt = "EEE LLL dd HH:mm:ss z yyyy"; 
		System.err.println(dtfmt); 

		DateTimeFormatter fmtr = DateTimeFormatter.ofPattern(dtfmt); 
		ZonedDateTime date = ZonedDateTime.parse(ds, fmtr); 

		String text = date.format(fmtr); 
		System.err.println(text); 
		System.err.println(date.toString()); 

	}

}
