Util.inputArticleID() now uses a BufferedReader