[eclipse-dev] Integration build 20020519 now available

[Sonia_Dimitrov@xxxxxxx]

Integration build 20020519 is now available for download from eclipse.org.

The defect that prevents Eclipse from starting with old workspaces
(http://bugs.eclipse.org/bugs/show_bug.cgi?id=16215) remains in this build.
The workaround is to delete the .metadata/.config/ directory either before
you start or after you fail.

Failed Unit Tests:
      org.eclipse.jdt.ui.tests
      org.eclipse.jdt.ui.tests.refactoring
      org.eclipse.swt.tests
      org.eclipse.update.tests.core

Compile errors:
      none