From 4368c529503df554af1d8ff5a5297ed45d30fa43 Mon Sep 17 00:00:00 2001
From: schinz <schinz@epfl.ch>
Date: Tue, 26 Oct 2004 13:15:01 +0000
Subject: - adapted constructor to take a class name inst...

- adapted constructor to take a class name instead of a class object
---
 sources/scala/runtime/types/JavaClassType.java | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/sources/scala/runtime/types/JavaClassType.java b/sources/scala/runtime/types/JavaClassType.java
index 858386fa83..767459fc3a 100644
--- a/sources/scala/runtime/types/JavaClassType.java
+++ b/sources/scala/runtime/types/JavaClassType.java
@@ -11,7 +11,10 @@
 package scala.runtime.types;
 
 public class JavaClassType extends ClassType {
-    public JavaClassType(Class clazz) {
-        super(clazz, true);
+    private static final ClassLoader loader =
+        ClassLoader.getSystemClassLoader();
+
+    public JavaClassType(String fullName) throws ClassNotFoundException {
+        super(Class.forName(fullName, false, loader), true);
     }
 }
-- 
cgit v1.2.3