()
| 260 | } |
| 261 | |
| 262 | private static void fixJavaBug() { |
| 263 | // Set any bespoke system properties. |
| 264 | try { |
| 265 | // Fix for Windows / Java 7 / VPN bug. |
| 266 | System.setProperty("java.net.preferIPv4Stack", "true"); |
| 267 | |
| 268 | // Fix for version.txt not visible for Java 7 |
| 269 | System.setProperty("jsse.enableSNIExtension", "false"); |
| 270 | } catch (SecurityException se) { |
| 271 | log.error(se.getClass().getName() + " " + se.getMessage()); |
| 272 | } |
| 273 | |
| 274 | |
| 275 | } |
| 276 | |
| 277 | private static void initController(String[] args) { |
| 278 | try { |
no test coverage detected