void makeAlignmentImage(jalview.util.ImageMaker.TYPE type, File file)
{
- int boarderBottomOffset = 0;
+ int boarderBottomOffset = 5;
long pSessionId = System.currentTimeMillis();
headless = (System.getProperty("java.awt.headless") != null && System
.getProperty("java.awt.headless").equals("true"));