RFE to re-purpose option --version:<version>

[Paul Benedict]

Martin, what do you have in mind when saying it's "broken"? Functionally,
everything is fine -- I can delete "release" locally without issue (so it
appears) -- so I imagine there's humor here I am missing? :-)

Cheers,
Paul

On Wed, Aug 10, 2016 at 1:36 PM, Martin Buchholz <martinrb at google.com>
wrote:

>
>
> On Wed, Aug 10, 2016 at 10:34 AM, Paul Benedict <pbenedict at apache.org>
> wrote:
>
>> Unfortunately, the "release" file is
>> not available in my operating environment. The installed JDK/JRE images on
>> my servers have been slimmed down by system administrators.
>
>
> Your system administrators have __broken__ the  installed JDK/JRE images!
>