Java_jdk_internal_jline_WindowsTerminal_getBufferState, ,Java_jdk_internal_jline_WindowsTerminal_getConsoleMode, ,Java_jdk_internal_jline_WindowsTerminal_getConsoleOutputCodepage, ,Java_jdk_internal_jline_WindowsTerminal_getWindowsTerminalHeight, ,Java_jdk_internal_jline_WindowsTerminal_getWindowsTerminalWidth, ,Java_jdk_internal_jline_WindowsTerminal_initIDs, ,Java_jdk_internal_jline_WindowsTerminal_readKeyEvent, ,Java_jdk_internal_jline_WindowsTerminal_setConsoleMode, ,Java_jdk_internal_jline_WindowsTerminal_setCursorPosition.