The Navigator and WorkerLocation interfaces in workers have inconsistent naming. Please rename the Navigator interface to WorkerNavigator. -- Simon Pieters Opera Software