tree f7f20c4c3b7c60ebb678cdcb3e4577488f563b1e
parent d32fae69d0575132526552862b386e96d97b420f
author Gary Gregory <garydgregory@gmail.com> 1597076161 -0400
committer Gary Gregory <garydgregory@gmail.com> 1597076161 -0400

Drop openjdk12 and openjdk13 since these are neither LTS or the latest.