add correct loading of help files

src/nl/uu/cs/ssmui/HelpFromProp.java

@@ -34,7 +34,7 @@ public class HelpFromProp
 	
 	private static Properties getProps( String nm )
 	{
-		URL url = HelpFromProp.class.getResource( "/Help/" + nm + ".prop" ) ;
+		URL url = nm.getClass().getResource( "/Help/" + nm + ".prop" ) ;
 		Properties props = new Properties() ;
 		try
 		{
@@ -42,6 +42,7 @@ public class HelpFromProp
 		}
 		catch( IOException ex )
 		{
+			System.err.println("Could not read help source for " + nm);
 		}
 		return props ;
 	}

src/nl/uu/cs/ssmui/SSMRunner.java

@@ -176,7 +176,7 @@ public class SSMRunner extends JFrame
 	    
 	    helper = new Help() ;
 	    HelpSupplier instrHelpSupplier = Instruction.getHelpSupplier() ;
-	    //helper.addHelpSupplier( instrHelpSupplier ) ;
+	    helper.addHelpSupplier( instrHelpSupplier ) ;
 	    helper.addHelpSupplier( new HelpFromProp( "ssminstrhelp", instrHelpSupplier, true ) ) ;
 	    helper.addHelpSupplier( new HelpFromProp( "ssmhelp", instrHelpSupplier, false ) ) ;
 	}