JavaException.java

package jetbrains.mps.psiTest;

/**
 * This a checked exception defined in java code
 * and thus accessible to MPS through PSI source stubs
 */
public class JavaException extends Exception {

}