json RESTHandler and escaping of forward slash

[claudiobosticco]

SmartClient Version: v9.0p_2013-07-20/EVAL Deployment

I've just noticed that the RESTHandler raises an error if the forward slash is escaped liker this: '\/'

2013-07-25 16:28:33,365 DEBUG [ ] RestRequestParser Parsing json object: '{"transaction":{"operations":[{"dataSource":"LEG_RICHIESTE_INFORMAZIONE","operationType":"add","operationId":"addUser","data":{"ID_COMUNE_FK":96,"ID_PROVINCIA_FK":96,"CAP":"10137","VIA_PIAZZA":"Via Barletta","NUMERO_CIVICO":"88","NOME":"Giuseppe","EMAIL":"giuseppe.rogato@killnine.it","AZIENDA":"Killnine Srl","COGNOME":"Rogato","ID_NAZIONI_FK":118,"CELLULARE":"348555666444","TELEFONO":"011 555666444","MOTIVO_DEL_CONTATTO":"Richiesta Informazioni","FONTE_CONOSCENZA":"Un amico\/conoscente"}}]}}' 
2013-07-25 16:28:33,365 ERROR [ ] LegendRestHandler RESTHandler - Top-level servlet error:  
com.isomorphic.js.parser.TokenMgrError: Lexical error at line 1, column 480.  Encountered: "/" (47), after : "\"Un amico\\"

actually, it isn't required to escape the forward slash, but according to this link
http://www.w3.org/TR/html4/appendix/notes.html#h-B.3.2

I wonder if it wouldn't be better if it was supported.