It would be nice if DrJava can ask if the user wants to
create a "Build" directory if the one specified in the
project settings does not exist. When loading somebody
else's project, say, grading, you really don't want to
inspect each user's settings and create the build
directory by hand.