Can we see what an ORMIT™-OpenJava Oracle Forms migration automated? And what was adjusted by hand?

Yes. The same sources, rules and tool version always give the same result, so a conversion can be reproduced and reviewed. Transformation reports, timestamped logs and trigger-by-trigger comparisons show what was converted and how. Completeness is tracked for each form, library and menu, and manual adjustments can be listed in a comparison of the generated code with the adjusted code.