anchor.diff:  
   import javax.annotation.security.PermitAll;
   import javax.annotation.security.RolesAllowed;
  +import javax.enterprise.context.RequestScoped;
   import javax.inject.Inject;
  -import javax.json.JsonString;
   import javax.ws.rs.GET;
   import javax.ws.rs.Path;
   import javax.ws.rs.Produces;
  
positive.code: 
  import javax.annotation.security.PermitAll;
  import javax.annotation.security.RolesAllowed;
  import javax.inject.Inject;
  import javax.ws.rs.GET;
  import javax.ws.rs.Path;
  import javax.ws.rs.Produces;
  
negative.code: 
          // If the JWT contains a birthdate claim, use the day of the month as a pick
          if (birthdate.isPresent()) { // <4>
              String bdayString = birthdate.get().getString(); <5>
              LocalDate bday = LocalDate.parse(bdayString);
              numbers.add(bday.getDayOfMonth());
              remaining --;
  