import java.time.ZonedDateTime;
import java.time.format.DateTimeFormatter;
import java.util.Locale;

public class Main {
	public static void main(String[] args) {
		String strDateTime = "Tue Feb 12 2013 21:12:28 GMT+0100 (CET)";
		DateTimeFormatter dtf = DateTimeFormatter.ofPattern("E MMM d u H:m:s VVZ (z)", Locale.ENGLISH);
		ZonedDateTime zdt = ZonedDateTime.parse(strDateTime, dtf);
		System.out.println(zdt);
	}
}