tree 5846e397129da9b1f2a4b33913310eb88fd65db3
parent 12bb59f537d4adab7e5766d152fab4b1e8a62c83
author Philipp Wollermann <philwo@google.com> 1532529404 -0700
committer Copybara-Service <copybara-piper@google.com> 1532529488 -0700

Remove obsolete stuff related to JDK7 support

Closes #5626.

PiperOrigin-RevId: 205991094