+ public int getFlags() {
+ return file().lastModified()==MAGIC_DATE ? 0 : Flag.SEEN;
+ }
+ public void setFlags(int flags) {
+ File f = file();
+ if ((flags & Mailbox.Flag.SEEN) == 0) f.setLastModified(MAGIC_DATE);
+ else if (f.lastModified()==MAGIC_DATE) f.setLastModified(System.currentTimeMillis());
+ // FIXME
+ }