🖉 #1011687 | BotCompany.de Repo

Editing Snippet ID:	#1011687
Snippet name:
Category, Type:
Content:	static void stopTimer(java.util.Timer timer) { if (timer != null) timer.cancel(); }
Comment:	Began life as a copy of #1007575
Public (visible to everyone):
Created:	2017-11-02 05:23:40