Now that lang/jdk12 exists (and lang/jdk13 is soon to come), lang/jdk seems
a little unusual in naming compared to the other Java implementations.
It's probably not obvious to most users that lang/jdk is only a JDK 1.1
implementation and not capable of running many modern Java applications.

Ideally, it would be nice to delete lang/jdk altogether, but lang/jdk12 has
redistribution restrictions.  So instead, what do y'all think of renaming
lang/jdk to lang/jdk11?

-- 
-- Todd Vierling <tv@duh.org> <tv@pobox.com>