docs: private static void genDocs(int noDocs, String[] filterKeyWords, String[] words, String path) {
  
  		Random rand = new Random(Calendar.getInstance().getTimeInMillis());
  
  		try (BufferedWriter fw = new BufferedWriter(new FileWriter(path))) {
  			for (int i = 0; i < noDocs; i++) {
  
  				int wordsInDoc = rand.nextInt(40) + 10;
  				// URL
  				StringBuilder doc = new StringBuilder("url_" + i + "|");
  				for (int j = 0; j < wordsInDoc; j++) {
  					if (rand.nextDouble() > 0.9) {
  						// Approx. every 10th word is a keyword
  						doc.append(filterKeyWords[rand.nextInt(filterKeyWords.length)] + " ");
  					} else {
  						// Fills up the docs file(s) with random words
  						doc.append(words[rand.nextInt(words.length)] + " ");
  					}
  				}
  				doc.append("|\n");
  
  				fw.write(doc.toString());
  			}
  		} catch (IOException e) {
  			e.printStackTrace();
  		}
  	}