I agree this is mostly a misuse like you said. We don't have any internal usage in all Google either so I would rather push users to not declare/catch such exceptions. Keeping such classes opens the door for more: https://gwt-review.googlesource.com/c/gwt/+/21320 I think IDE warnings in couple of corner cases is just a minor inconvenience for the end user.
On Thu, Jan 3, 2019 at 6:35 AM Jens <[email protected]> wrote: > It is not a RuntimeException so even though you might be able to remove it > from GWT emulation code, your IDE will still annoy you in calling code to > either catch that exception or redeclare it because your IDE does not know > that GWT emul is cheating. If that calling code is exclusively within other > emulated code, then it kind of depends on how JDT behaves I guess. > > But honestly, it is just an exception and I would simply add it to GWT > emulation. Done. It is always preferable to have a single emulation within > GWT proper instead of one emulation per project that needs it with various > degrees of implementation quality. > > -- J. > > -- > You received this message because you are subscribed to the Google Groups > "GWT Contributors" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/google-web-toolkit-contributors/188c7862-b408-467c-a140-4383cd619ca7%40googlegroups.com > <https://groups.google.com/d/msgid/google-web-toolkit-contributors/188c7862-b408-467c-a140-4383cd619ca7%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/google-web-toolkit-contributors/CAN%3DyUA2ATYFgsxJkDvNQNeUgwioXdHt4PM3Z%2BgaOmM3QoDAjRw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
