/**
* Saves this Document to a file. If isFullSave is set to true, this will
* also clear the document's dirty status and set the window title to the
- * new filename. This is useful e.g. for the File -> Save menu item and its
+ * new filename. This is useful e.g. for the File -> Save menu item and its
* relatives. Alternatively, if you only want to save a copy of the Document
* to a file without a noticeable change to the user, use this method with
* isFullSave=false.
\r
/**\r
* Returns the dialog graph into the state in which it was before a previous\r
- * call to {@link #suspend(com.clt.diamant.graph.Node) }. Execution of the\r
+ * call to {@link #suspend(com.clt.diamant.graph.Node, java.lang.Object) }. Execution of the\r
* dialog can then be resumed by calling\r
* {@link #execute(com.clt.diamant.WozInterface, com.clt.diamant.InputCenter, com.clt.diamant.ExecutionLogger) }.\r
*\r
}
/**
- * Converts this Value into a Java object (IntValue -> Integer;
- * StringValue -> String; etc.).
+ * Converts this Value into a Java object (IntValue to Integer;
+ * StringValue to String; etc.).
*
* @return object with readable value
*/