Thank you. They make a lot of sense. Funny how it's only in java 8 that became an issue :)
I'll try ping The jdt'ers I know. /max http://about.me/maxandersen > On 27 Mar 2015, at 20:09, Harald Wellmann <[email protected]> wrote: > > Regarding the JDT problems discussed in this thread, I've submitted the > following Bugzilla issues: > > https://bugs.eclipse.org/bugs/show_bug.cgi?id=462929 > https://bugs.eclipse.org/bugs/show_bug.cgi?id=462932 > > Best regards, > Harald > > _______________________________________________ > wtp-dev mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe from > this list, visit > https://dev.eclipse.org/mailman/listinfo/wtp-dev
_______________________________________________ wtp-dev mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/wtp-dev
