documentation patch 402
Release 402 Eclipse Plugin