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 04 2020 16:11:25 GMT+0200 (IST)";
		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);
	}
}