for(int i=0; i!=areas.length; i++){
storageVector.addElement(areas[i]);
}
}
currentGUI.currentCommands.scrollRectToHighlight(scroll,currentPage);
storageVector.trim();
decode_pdf.getTextLines().addHighlights(storageVector.get(), true, currentPage);
//PdfHighlights.addToHighlightAreas(decode_pdf, storageVector, currentPage);
}