Added constructor to BadConfigFormatException