+act #3513 Clarify gracefulStop stopMessage, and add Java API