Undo 4a10a1d503613d0a6468f87c365cbfec560a8195, since this is now a configurable option introduced in Burp Professional v1.5.15