documenting pydev plugin
the property links were broken because they were all referring to the same anchor