static options, so a reset does not reset the options
Thread.interrupt at several places