Updating javadoc of Plugin, LabelAtomProperty, GlobalConfiguration with my observations from working on my plugin
Updating javadoc based on PR feedback
Merge pull request #1392 from dominiquebrice/javadoc_update

Updating javadoc of Plugin, LabelAtomProperty, GlobalConfiguration with ...