Yes, that's most likely what we'll do. But unfortunately, in the meantime, we still need to fix problems with these deprecated APIs that were introduced by eclipse-related changes.