RoundingMode: Added missing . to JavaDoc

Author: daniel-raffler

src/org/sosy_lab/java_smt/api/FloatingPointFormulaManager.java

@@ -34,7 +34,7 @@
  */
 public interface FloatingPointFormulaManager {
 
-  /** Creates a formula for the given floating point rounding mode */
+  /** Creates a formula for the given floating point rounding mode. */
   FloatingPointRoundingModeFormula makeRoundingMode(FloatingPointRoundingMode pRoundingMode);
 
   /**