hg: jdk9/dev/jdk: 7153400: ThreadPoolExecutor's setCorePoolSize method allows corePoolSize > maxPoolSize

[chris.hegarty at oracle.com]

Changeset: eb6f07ec4509
Author:    chegar
Date:      2014-05-14 15:46 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/eb6f07ec4509

7153400: ThreadPoolExecutor's setCorePoolSize method allows corePoolSize > maxPoolSize
Reviewed-by: chegar, martin, mduigou
Contributed-by: Pavel Rappo <pavel.rappo at oracle.com>

! src/share/classes/java/util/concurrent/ThreadPoolExecutor.java