plugin-eclipse: updates websource command
Authored by: gchii 2014-02-20
Parent: [r1144]
Child: [r1146]