FLINK-10282, we introduced a dedicated thread pool for the REST server endpoint. The thread priority was set to Thread.MIN_PRIORITY. This, however, might affect existing users by making some of the REST calls no longer responsive (e.g. if the other components' threads take all the time). Therefore, I propose to set the default thread priority to Thread.NORM_PRIORITY and make it additionally configurable such that users can change it.