* share/doc/developers_guide_ja.texi : Update versions of the current
  development environment.