649                 databuf.appendChar(pool.put(s.name));

   649                 databuf.appendChar(pool.put(s.name));

   650                 databuf.appendChar(flags);

   650                 databuf.appendChar(flags);

   651             }

   651             }

   652             // Now write the real parameters

   652             // Now write the real parameters

   653             for (VarSymbol s : m.params) {

   653             for (VarSymbol s : m.params) {

   654                 final int flags =

   662                 final int flags =

   655                     ((int) s.flags() & (FINAL | SYNTHETIC | MANDATED)) |

   663                     ((int) s.flags() & (FINAL | SYNTHETIC | MANDATED)) |

   656                     ((int) m.flags() & SYNTHETIC);

   664                     ((int) m.flags() & SYNTHETIC);

   657                 databuf.appendChar(pool.put(s.name));

   665                 databuf.appendChar(pool.put(s.name));

   658                 databuf.appendChar(flags);

   666                 databuf.appendChar(flags);