user ';' KEY ( ';' DEFAULT )?
Workspace
A current user setting from the ~/.bnd/settings.json file
The user macro is an alias to the global macro.