Method isLetter

src/main/java/wyc/io/WhileyFileLexer.java:510–512

This is used in place of Character.isLetter(), since the latter also supports unicode letters. @param c @return

(char c)

	 * @return
	 */
	private boolean isLetter(char c) {
		return ('a' <= c && c <= 'z') || ('A' <= c && c <= 'Z') ;
	}

	/**
	 * This is used in place of Character.isLetterOrDigit(), since the latter also