removed terminal, just use Settings.getTerminal()