--- a/langtools/test/tools/javac/multicatch/model/ModelChecker.java	Thu Dec 20 17:59:46 2012 +0000
+++ b/langtools/test/tools/javac/multicatch/model/ModelChecker.java	Fri Dec 21 08:45:43 2012 -0800
@@ -25,7 +25,7 @@
  * @test
  * @bug 6993963 7025809
  * @summary Project Coin: Use precise exception analysis for effectively final catch parameters
- * @library ../../lib
+ * @library /tools/javac/lib
  * @build JavacTestingAbstractProcessor ModelChecker
  * @compile -processor ModelChecker Model01.java
  */