#7479 Fix for Windows: The name of a resource is a '/'-separated path, not File.separ...

svn changeset:21682/svn branch:6.7

diff --git a/src/com/vaadin/terminal/gwt/server/JsonPaintTarget.java b/src/com/vaadin/terminal/gwt/server/JsonPaintTarget.java
index 28789b0ebcdedcc9d1a1745eb0a130bd37ea947d..098a872ca6c3af066354c3a20885e1ff4057d787 100644 (file)
--- a/src/com/vaadin/terminal/gwt/server/JsonPaintTarget.java
+++ b/src/com/vaadin/terminal/gwt/server/JsonPaintTarget.java
@@ -5,7 +5,6 @@
 package com.vaadin.terminal.gwt.server;
 
 import java.io.BufferedReader;
-import java.io.File;
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.InputStreamReader;
@@ -1085,8 +1084,7 @@ public class JsonPaintTarget implements PaintTarget {
             Class<? extends Paintable> class1) {
 
         try {
-            String name = class1.getName().replace('.', File.separatorChar)
-                    + ".class";
+            String name = class1.getName().replace('.', '/') + ".class";
 
             InputStream stream = class1.getClassLoader().getResourceAsStream(
                     name);