I deleted my previous comment, I realised this is the Java API.  In the case of the Java API, this is completely an implementation detail, there's no need to do anything of the sort, since we never expose the type of the headers to the user.