Don't schedule too often, don't schedule from sync block

See https://github.com/eclipse-jdt/eclipse.jdt.ui/issues/187