Disabled workspace resolution (really need to get the eclipse stuff out
of git).