import java.time.*;
import java.time.format.*;
import java.util.stream.*;

class Main {
    public static void main(String[] args) {
        DateTimeFormatter formatter = DateTimeFormatter.ofPattern("[uuuu][uuuuu]-MM-dd");
        DateTimeFormatter outFormatter = DateTimeFormatter.ofPattern("uuuu-MM-dd");

        Stream.of(
            "709-07-14",
            "2009-07-14",
            "10253-07-14"
        )
            .forEach(str -> {
                try {
                    LocalDate date = LocalDate.parse(str, formatter);
                    String fStr = date.format(outFormatter);
                    System.out.format("LocalDate: %s. String: %s.%n", date, fStr);
                }
                catch (DateTimeException exc) {
                    System.out.println(exc.getMessage());
                }
            });
    }
}