private void newLabel(String s) {
StringTokenizer tkn = new StringTokenizer(s, "\n");
num_lines = tkn.countTokens();
lines = new String[num_lines];
line_widths = new int[num_lines];
for (int i = 0; i < num_lines; i++) {
lines[i] = tkn.nextToken();
}
}
