AI vs. Dinosaurs - Automated Re-implementation of Legacy Mainframe Applications in Java by Combining Program Synthesis and GPT.