implement jpstring and use it in properties