Update Eclipse to include, e.g., DocBook editor