use jgit timestamp provider for -Phudson only (JBIDE-13671) >> master