converted jpf strings to java strings. yeah, you read that right.