artf42336 : EMPTY_STRING_DIFFERS_FROM_NULL