String pattern = patternposition[0];
if (pattern.charAt(0) == '@') {
BufferedReader in = new BufferedReader(new FileReader(
pattern.substring(1)));
StringBuilder sb = new StringBuilder();
for (String line = in.readLine(); line != null; line = in
.readLine()) {
sb.append(line);
}
pattern = sb.toString();
}