--- old/src/share/bin/splashscreen.h	2014-06-17 14:39:10.875753000 +0400
+++ new/src/share/bin/splashscreen.h	2014-06-17 14:39:10.150661000 +0400
@@ -29,3 +29,6 @@
 void    DoSplashInit(void);
 void    DoSplashClose(void);
 void    DoSplashSetFileJarName(const char* fileName, const char* jarName);
+void    DoSplashSetScaleFactor(float scaleFactor);
+char*   DoSplashGetScaledImageName(const char* jarName, const char* fileName,
+                                    float* scaleFactor);