System.out.flush();        /* Make sure the line is printed immediately. */
    inputLine = keyboard.readLine();