diff --git a/src/main/java/edu/mit/blocks/workspace/ContextMenu.java b/src/main/java/edu/mit/blocks/workspace/ContextMenu.java
index f84ba028a504ab4ed4c3ca5a3b1f7fc047dd1862..93674028efde8db5276addeab8b73c1a0ac84d42 100644
--- a/src/main/java/edu/mit/blocks/workspace/ContextMenu.java
+++ b/src/main/java/edu/mit/blocks/workspace/ContextMenu.java
@@ -218,7 +218,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
         try {
             InputStream input = getClass().getResourceAsStream(cssResource);
         	if(input != null) {
-	            cssFile = new File(tempPath +"/"+ "_seitenformatierung.css");
+	            cssFile = new File(tempPath +File.separatorChar+ "_seitenformatierung.css");
 	            OutputStream out = new FileOutputStream(cssFile);
 	            int read;
 	            byte[] bytes = new byte[1024];
@@ -241,7 +241,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
         try {
             InputStream input = getClass().getResourceAsStream(htmlResource);
         	if(input != null) {
-	            htmlFile = new File(tempPath +"/"+ blockGenusName + ".html");
+	            htmlFile = new File(tempPath +File.separatorChar+ blockGenusName + ".html");
 	            OutputStream out = new FileOutputStream(htmlFile);
 	            int read;
 	            byte[] bytes = new byte[1024];
@@ -264,7 +264,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
    	    try {
    	        InputStream input = getClass().getResourceAsStream(logoResource);
 	   	     if(input != null) {
-	   	        logoFile = new File(tempPath +"/_Logo_LGI_page.png");
+	   	        logoFile = new File(tempPath +File.separatorChar+"_Logo_LGI_page.png");
 	   	        OutputStream out = new FileOutputStream(logoFile);
 	   	        int read;
 	   	        byte[] bytes = new byte[10000];
@@ -285,7 +285,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
    	    try {
    	        InputStream input = getClass().getResourceAsStream(imageResource);
 	   	     if(input != null) {
-	   	        imageFile = new File(tempPath +"/"+ blockGenusName+".png");
+	   	        imageFile = new File(tempPath +File.separatorChar+ blockGenusName+".png");
 	   	        OutputStream out = new FileOutputStream(imageFile);
 	   	        int read;
 	   	        byte[] bytes = new byte[10000];
@@ -306,7 +306,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
    	/*    try {
    	        InputStream input = getClass().getResourceAsStream(exampleResource);
 	   	     if(input != null) {
-	   	        exampleFile = new File(tempPath +"/"+ blockGenusName+"-beispiel.png");
+	   	        exampleFile = new File(tempPath +File.separatorChar+ blockGenusName+"-beispiel.png");
 	   	        OutputStream out = new FileOutputStream(exampleFile);
 	   	        int read;
 	   	        byte[] bytes = new byte[10000];
@@ -333,7 +333,7 @@ public class ContextMenu extends PopupMenu implements ActionListener {
    	    	while(!allFilesRead) {
 	   	        InputStream input = getClass().getResourceAsStream(example2Resource + exampleImageCounter + exampleFileType);
 		   	     if(input != null) {
-		   	        example2File = new File(tempPath +"/"+ blockGenusName+"-beispiel-"+exampleImageCounter+".png");
+		   	        example2File = new File(tempPath +File.separatorChar+ blockGenusName+"-beispiel-"+exampleImageCounter+".png");
 		   	        OutputStream out = new FileOutputStream(example2File);
 		   	        int read;
 		   	        byte[] bytes = new byte[10000];