diff --git a/pkgs/development/libraries/java/aterm/default.nix b/pkgs/development/libraries/java/aterm/default.nix
new file mode 100644
index 000000000000..c6315faadd10
--- /dev/null
+++ b/pkgs/development/libraries/java/aterm/default.nix
@@ -0,0 +1,10 @@
+{stdenv, fetchurl, j2sdk, sharedobjects, jjtraveler}:
+
+stdenv.mkDerivation {
+  name = "aterm-java-1.6";
+  src = fetchurl {
+    url = http://www.cwi.nl/projects/MetaEnv/aterm-java/aterm-java-1.6.tar.gz;
+    md5 = "abf475dae2f5efca865fcdff871feb5e";
+  };
+  buildInputs = [stdenv j2sdk sharedobjects jjtraveler];
+}
diff --git a/pkgs/development/libraries/java/jjtraveler/default.nix b/pkgs/development/libraries/java/jjtraveler/default.nix
new file mode 100644
index 000000000000..b1032d66af41
--- /dev/null
+++ b/pkgs/development/libraries/java/jjtraveler/default.nix
@@ -0,0 +1,10 @@
+{stdenv, fetchurl, j2sdk}:
+
+stdenv.mkDerivation {
+  name = "jjtraveler-0.4.3.tar.gz";
+  src = fetchurl {
+    url = http://www.cwi.nl/projects/MetaEnv/jjtraveler/JJTraveler-0.4.3.tar.gz;
+    md5 = "35bf801ee61f042513ae88247fe1bf1d";
+  };
+  buildInputs = [stdenv j2sdk];
+}
diff --git a/pkgs/development/libraries/java/shared-objects/default.nix b/pkgs/development/libraries/java/shared-objects/default.nix
new file mode 100644
index 000000000000..5a207d427946
--- /dev/null
+++ b/pkgs/development/libraries/java/shared-objects/default.nix
@@ -0,0 +1,10 @@
+{stdenv, fetchurl, j2sdk}:
+
+stdenv.mkDerivation {
+  name = "shared-objects-1.4";
+  src = fetchurl {
+    url = http://www.cwi.nl/projects/MetaEnv/shared-objects/shared-objects-1.4.tar.gz;
+    md5 = "c1f2c58bd1a07be32da8a6b89354a11f";
+  };
+  buildInputs = [stdenv j2sdk];
+}