/**
* Terminates the current request, sending the given status code, headers, and
* content. This method never returns.
*/
public static void httpReturn(int status, List<String> headers, String content) {
throw new HttpReturnThrowable(status, headers, content);
}