protected HistoryManager(toolHistoryLevel: Int, vararg historySettings: Class<out Settings<Enum<*>!>!>!)