diff options
-rw-r--r-- | src/compiler/scala/tools/nsc/io/AladdinReader.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/io/AladdinReader.scala b/src/compiler/scala/tools/nsc/io/AladdinReader.scala index 33c7b0d844..cf09fc0689 100644 --- a/src/compiler/scala/tools/nsc/io/AladdinReader.scala +++ b/src/compiler/scala/tools/nsc/io/AladdinReader.scala @@ -74,7 +74,7 @@ class AladdinReader(decoder: CharsetDecoder) extends SourceReader(decoder) { if(!wellformed(content)) throw FatalError("content should just be a bug identifier, like \"#1023\"") - var bugURL = ALADDIN_URL + new String(content).trim().substring(1) + var bugURL = ALADDIN_URL + content.trim().substring(1) try { new java.net.URL(bugURL).getContent().asInstanceOf[Array[Char]] } catch { |