handleJResult (JException msg) =
    throw (InstallationError ("While in operation 'handleJResult':\nException: " ++ msg))
handleJResult (JException msg) =
    throw (InstallationError ("While in operation 'handleJResult':\nException: " ++ msg))
handleJResult (JException msg) =
    throw (InstallationError ("While in operation 'handleJResult':\nException: " ++ msg))