Previously it was just named "18.04 LTS (OpenJDK 11, gcc 7.4.0)", which happens to be the label of the local 18.04 job, too.

PiperOrigin-RevId: 424613712