Called by Sketch → Build. Handles calling the build() function on sketch, and queues all the gui status stuff that comes along with it. Made synchronized to (hopefully) avoid problems of people hitting export twice, quickly, and horking things up.
(final boolean verbose)
source not stored for this graph (policy: none)
no test coverage detected