# HG changeset patch # User Erik Eckstein # Date 1395993922 -3600 # Node ID 3efd4d8ace0bb07cee456dc8286782df01ba9329 # Parent 8c420f405328c90b5e2a10fcbd44eb071c6ead62# Parent 8e7667515e315542a4d907c05097dc9d0384e5f5 Merge diff -r 8c420f405328 -r 3efd4d8ace0b mx/projects --- a/mx/projects Fri Mar 28 08:39:32 2014 +0100 +++ b/mx/projects Fri Mar 28 09:05:22 2014 +0100 @@ -42,8 +42,8 @@ library@OKRA_WITH_SIM@sourceUrls=http://cr.openjdk.java.net/~tdeneau/okra-1.8-with-sim-src.jar library@JAVA_ALLOCATION_INSTRUMENTER@path=lib/java-allocation-instrumenter.jar -library@JAVA_ALLOCATION_INSTRUMENTER@urls=http://lafo.ssw.uni-linz.ac.at/java-allocation-instrumenter/java-allocation-instrumenter-67ad4ee8beb6.jar -library@JAVA_ALLOCATION_INSTRUMENTER@sha1=1cd4073f57d7d461a53b0ddc1ea4ee2aa0c60e66 +library@JAVA_ALLOCATION_INSTRUMENTER@urls=http://lafo.ssw.uni-linz.ac.at/java-allocation-instrumenter/java-allocation-instrumenter-8f0db117e64e.jar +library@JAVA_ALLOCATION_INSTRUMENTER@sha1=64c0a5329fbcb8284640e58d83252e0a3b08c23e distribution@GRAAL@path=graal.jar distribution@GRAAL@dependencies=\