Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Fixed
-
None
-
None
-
None
Description
The current implementation all stubs are deleted after the generation is done. We implemented it in this way, because we thought the compiler has to manage this. In other environments it might be good to keep the stubs, for example to execute javadoc.