int y1)
{
if (seq == null)
- {
+ {
return; // fix for racecondition
}
int i = start;
charOffset = (av.getCharWidth() - fm.charWidth(s)) / 2;
graphics.drawString(String.valueOf(s),
- charOffset + av.getCharWidth()
- * (i - start), y1);
+ charOffset + av.getCharWidth() * (i - start), y1);
}
}