Magnus, This past week I've been running the build a number of times and been monitoring how long javadoc takes to execute. Does it make sense to have some way to instrument how long different commands take to execute, perhaps in some tracing mode, so that we can analyse attempts to improve overall performance? -- Jon