I was thinking it was just a stain as well. some of my ficus have such marks, and they are green underneath. if it were my tree, I would either take a toothbrush and some water and test clean a small spot, and/or scratch off a tiny pit of bark to see if there's green underneath..
:D
good luck