cleaned token header

old java pseudo