如果字符串包含数字如日期，并转换日期

String a="2019年11月23日15：10时";
String regEx="[^0-9]";
Pattern p = Pattern.compile(regEx);
Matcher m = p.matcher(a);
String time = m.replaceAll("").trim().substring(0,12);
DateTimeFormatter FORMATTER_HOUR = DateTimeFormatter.ofPattern("yyyyMMddHHmm");
DateTimeFormatter DEFAULT_FORMATTER = DateTimeFormatter.ofPattern("yyyy-MM-dd HH:mm:ss");
LocalDateTime localDateTime = LocalDateTime.parse(time, FORMATTER_HOUR);
String finalTime = localDateTime.format(DEFAULT_FORMATTER);