fix pretty printing of user lists in java backend
Merge pull request #1223 from dwightguth/userlist-terminator

fix pretty printing of user lists in java backend