Tom Tromey wrote:
The Eclipse ChangeLog plugin wants to know the user's real name, but,
strangely, there is no Java system property for this. I don't see why
we shouldn't provide this as a GNU extension. This is both useful and
safe, as code can easily check for the property's existence at
runtime.
I strongly suspect it will want to know the email address of
the user as well. :-)
If a plugin can have configurable properties, why not have
the name and the email address the user wants to use for a
given project be properties to be configured by the user for
the plugin for that project?