[jbosstools-dev] Proposed change to the way plugins and features are timestamped - jgit timestamp provider