This fixes #96 but unfortunally it uses internal eclipse classes. There were no way to reuse the standard implementation for this so it is a copy with modifications. Maybe Eclipse will provide a better interface for this in the future.