Workaround for https://bugs.openjdk.java.net/browse/JDK-8212233.
[sixth-3d-demos.git] / tools / commit and push
2018-06-22 Svjatoslav AgejenkoFixed broken links.