{
int fullsizeWidth = av.alignment.getWidth() * av.getCharWidth();
int fullsizeHeight = (av.alignment.getHeight() + av.alignment
- .getHiddenSequences().getSize())
- * av.getCharHeight();
+ .getHiddenSequences().getSize()) * av.getCharHeight();
int startRes = av.getStartRes();
int endRes = av.getEndRes();