BUG-7850: SourceIdentifier.getRevision() can return null