Our build is currently far too fragile. When we were trying to release the private beta, we couldn't, due to some EPFL DNS issues and the fact that Maven insists on downloading most of the internet in order to do a build. This problem can be almost completely solved by using our own Maven repository.

Additionally, when the IDE depends on changes in the compiler, we can't just use checkin builds, but have to either start a nightly trunk build or wait until it runs automatically.