/** * Creates a <tt>FileElement</tt> by specifying a base file and a thumbnail * to extend it with. * * @param baseFile the file used as a base * @param thumbnail the thumbnail to add */ public FileElement(File baseFile, ThumbnailElement thumbnail) { this(baseFile.getName(), baseFile.getSize()); this.thumbnail = thumbnail; }