'process-scheduling' is now an Eclipse project.