if(scroll == 0) { return false; }  if(scroll < 0) { scroll = DEFAULT_SCROLL; }
    protected boolean checkStopScroll(int lineCount) {    		boolean stop = false;    				int scroll = DEFAULT_SCROLL;		try {    			scroll = properties.getInt("scroll");   		} catch(ConversionException e) { }				if( (lineCount % scroll) == 0 ) {			try {				print("***** press <space> to continue ******");				int key = console.readVirtualKey();				if(key != 32) {					stop = true;				}				printLine("");			} catch(IOException e) { }		}				return stop;    }