more refinements to gwt stack trace filter