Splice ./universe directory into ./

Manually merging:
- README.md: I added the description from universe/README.md into the heading of
  dotfiles/README.md.
- .envrc: dotfiles/.envrc was a superset of universe/.envrc
- .gitignore: Adding some of the ignored patterns from universe/.gitignore to
  dotfiles/.gitignore

Everything else here should be a simple rename.

2 files changed, 11 insertions, 0 deletions

diff --git a/java/Another.java b/java/Another.java
new file mode 100644
index 000000000000..e431e157336b
--- /dev/null
+++ b/java/Another.java
@@ -0,0 +1,5 @@
+public class Another {
+  public static String whatis() {
+    return "Testing";
+  }
+}
diff --git a/java/Main.java b/java/Main.java
new file mode 100644
index 000000000000..0bfa9ebc2a34
--- /dev/null
+++ b/java/Main.java
@@ -0,0 +1,6 @@
+public class Main {
+  public static void main(String[] args) {
+    System.out.println(System.getProperty("java.class.path"));
+    System.out.println(Another.whatis());
+  }
+}