+1, maybe there are some new features that can be added that are relevant to JDK 7 besides just language level cleanups.
On 23 October 2016 at 07:07, Dave Brosius <[email protected]> wrote: > +1 > > > On 10/23/2016 03:30 AM, Gary Gregory wrote: > >> Hi All: >> >> Now that 3.5 is out, I think it is time to require Java 7. >> >> Thoughts? >> >> Gary >> >> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > > -- Matt Sicker <[email protected]>
