use ImmutableSet in test
use JSONlib to exchange JsonDisplay functions