#1331 “NumberFormatException: For input string: "<blank>"” occured when the tipoftheday_current_tip preference is not set in omegat.prefs

[林博仁(Buo-ren Lin)]

The following error is emitted when I launch the version 6.1.1 application:

22:56:52.427: Error: java.lang.NumberFormatException: For input string: "" 
22:56:52.427: Error:    at java.base/java.lang.NumberFormatException.forInputString(Unknown Source) 
22:56:52.427: Error:    at java.base/java.lang.Integer.parseInt(Unknown Source) 
22:56:52.427: Error:    at java.base/java.lang.Integer.parseInt(Unknown Source) 
22:56:52.427: Error:    at org.omegat.gui.tipoftheday.TipOfTheDayController.showComponent(TipOfTheDayController.java:86) 
22:56:52.427: Error:    at org.omegat.gui.tipoftheday.TipOfTheDayController.start(TipOfTheDayController.java:56) 
22:56:52.427: Error:    at org.omegat.gui.tipoftheday.TipOfTheDayModule$TipOfTheDayModuleListener.lambda$onApplicationStartup$0(TipOfTheDayModule.java:80) 
22:56:52.427: Error:    at java.desktop/java.awt.event.InvocationEvent.dispatch(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventQueue.dispatchEventImpl(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventQueue$4.run(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventQueue$4.run(Unknown Source) 
22:56:52.427: Error:    at java.base/java.security.AccessController.doPrivileged(Unknown Source) 
22:56:52.427: Error:    at java.base/java.security.ProtectionDomain$JavaSecurityAccessImpl.doIntersectionPrivilege(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventQueue.dispatchEvent(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventDispatchThread.pumpOneEventForFilters(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventDispatchThread.pumpEventsForFilter(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventDispatchThread.pumpEvents(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventDispatchThread.pumpEvents(Unknown Source) 
22:56:52.427: Error:    at java.desktop/java.awt.EventDispatchThread.run(Unknown Source)

This issue can be reproduced by deliberately drop the tipoftheday_current_tip configuration from the preference file then launch the program.

This error doesn't prevent the application from properly function, but maybe it should be gracefully handled.