[Bug 931726] Education/bluej: Bug