We need to pare down the globalmentor-core library to remove a lot of things no longer necessary now that they are in Java. We'll just update to Java 8 for now; in the future we can do it again for Java 11.