web services - How to access header values of request in Java Restlet? -

i developing web services using restlet java.

for want protect webservices unauthorized clients. have written filter class. in filter class want headers of request. getting following error -

java.lang.classcastexception: org.restlet.engine.http.httprequest cannot cast javax.servlet.http.httpservletrequest 

the coding -

public class myfilter extends filter {      @override     protected int beforehandle(request request, response response) {          int result = stop;          httpservletrequest httpreq = (httpservletrequest) request;         string user_token = httpreq.getheader("auth");          if(user_token.equals("xyz")) {             result = continue;         }          return result;     } } 

please suggest me way access header values of request in java restlet?

i solved problem using

form headers = (form) request.getattributes().get("org.restlet.http.headers"); string user_token = headers.getfirstvalue("location"); 

i found http://blog.yudongli.com/2009/12/get-request-header-in-restlet_13.html link useful.