JsonRef: use Guava's Optional