jltl2dstar: cleanup umlaut in comments for Büchi to Unicode

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11195 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/jltl2dstar/DBA2DRA.java

@@ -29,18 +29,18 @@ import jltl2ba.APSet;
 
 /** @file 
  * Provides class DBA2DRA, which can convert a 
- * deterministic B�chi automaton to a deterministic Rabin
+ * deterministic Büchi automaton to a deterministic Rabin
  * automaton.
  */
 
 /**
- * Provides conversion from deterministic B�chi to 
+ * Provides conversion from deterministic Büchi to 
  * deterministic Rabin.
  */
 public class DBA2DRA {
 	/**
-	 * Convert a deterministic B�chi automaton
-	 * (a nondeterministic B�chi automaton NBA, where every transition
+	 * Convert a deterministic Büchi automaton
+	 * (a nondeterministic Büchi automaton NBA, where every transition
 	 * has at most one target state) to an equivalent deterministic 
 	 * Rabin automaton.
 	 * <p>

prism/src/jltl2dstar/NBA.java

@@ -33,11 +33,11 @@ import jltl2ba.MyBitSet;
 
 
 /** @file
- * Provides class NBA to store a nondeterministic B�chi automaton.
+ * Provides class NBA to store a nondeterministic Büchi automaton.
  */
 
 /**
- * A nondeterministic B�chi automaton.
+ * A nondeterministic Büchi automaton.
  * See class DA for description of template parameters.
  */
 

prism/src/jltl2dstar/NBAAnalysis.java

@@ -21,7 +21,7 @@
 package jltl2dstar;
 
 /** @file
- * Provides class NBAAnalysis for performing analysis on non-deterministic B�chi automata.
+ * Provides class NBAAnalysis for performing analysis on non-deterministic Büchi automata.
  */
 
 import java.util.*;

prism/src/jltl2dstar/NBA_State.java

@@ -29,7 +29,7 @@ import jltl2ba.MyBitSet.MyBitSetIterator;
 
 
 /** @file
- * Provides class NBA_State for storing a state of a nondeterministic B�chi automaton.
+ * Provides class NBA_State for storing a state of a nondeterministic Büchi automaton.
  */
 
 /**