From 2f81173acfb5f4fc8948d132a2797043b8dc9b16 Mon Sep 17 00:00:00 2001
From: Oscar Vega-Gisbert <ovega@dsic.upv.es>
Date: Sun, 29 Sep 2013 10:57:14 +0000
Subject: [PATCH] Update Javadoc of MPIException.

This commit was SVN r29291.
---
 ompi/mpi/java/java/MPIException.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/ompi/mpi/java/java/MPIException.java b/ompi/mpi/java/java/MPIException.java
index b57cc4b118..8d9cb859bd 100644
--- a/ompi/mpi/java/java/MPIException.java
+++ b/ompi/mpi/java/java/MPIException.java
@@ -25,6 +25,8 @@ package mpi;
 
 /**
  * Signals that an MPI exception of some sort has occurred.
+ * <p>The Java binding of the MPI operation {@code MPI_Error_string} is the
+ * method {@code getMessage}, which is inherited from the class Exception.
  */
 public final class MPIException extends Exception
 {