| commit | 036726cb26b2f2ff78e1aa099031c6d4012cc1d6 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jan 23 17:09:57 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jan 23 17:09:57 2011 +0000 |
| tree | c2d4c008556994bd942e991fb477fe6f07108792 | |
| parent | a3e8beaddfb087eabc6099f085806b97126681be [diff] |
- feed our option names into the java model so these options will be processed, too. - avoid performance issues caused by nested teams with temporary activation. this slightly deviates from the behavior of the original patch, though. - fixed an NPE regarding a method binding