Things to do with updating the basic language profile of Java we use (see #735).

The world evolves, so must we.