openjdk team mailing list archive

[Marc-andre-laperle <1266004@xxxxxxxxxxxxxxxxxx>]

I am closing this as NOT_ECLIPSE because a fix is provided in recent
versions of Webkit and with the updated version in Ubuntu 14.04, the
crash doesn't happen. Also, I patched the package in 13.10 in a way to
backport the fix which was believed to address the issue and I could not
reproduce the crash in months of use. The patch is available on
launchpad if the Ubuntu team wants to fix it in previous Ubuntu releases
(or if a user wants to patch it locally), see
https://bugs.launchpad.net/ubuntu/+source/webkit/+bug/1160411

-- 
You received this bug notification because you are a member of OpenJDK,
which is subscribed to openjdk-7 in Ubuntu.
https://bugs.launchpad.net/bugs/1266004

Title:
  Eclipse crash

Status in Eclipse:
  Unknown
Status in “openjdk-7” package in Ubuntu:
  Confirmed

Bug description:
  No obvious cause, just using the Java editor

  1)  Description:	Ubuntu 13.04 Release:	13.04 64 bit
  2)  Eclipse Java EE IDE for Web Developers.  Version: Kepler Service Release 1  Build id: 20130919-0819
  3)  Modify some Java
  4) Crash!


  Log file attached

To manage notifications about this bug go to:
https://bugs.launchpad.net/eclipse/+bug/1266004/+subscriptions