I've also reported the issue to GNOME - https://gitlab.gnome.org/GNOME
/gnome-shell/issues/853
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1796607
Title:
gnome-shell crashed
Created attachment 246108
full log
Hello, with Eclipse 4.2.2 with ADT get this bug.
Core dump https://yadi.sk/d/UTGqkxJmZz6e7
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x7fe3b0b716b8, pid=6629, tid=140615974131456
#
# JRE version: Java(TM)