added Pattern.unknown()