­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ ­ treatAsNonEmpty = $treatAsNonEmpty; } }