[platform-debug-dev] IThread.getPriority() returns int. Not all platfo

[boxall@xxxxxxxxxx]

The plugin that I am creating connects to debug engines on various
platforms.   Not all of them necessarily represent a thread's priority with
a number.

/**
 * Returns the priority of this thread. The meaning of this
 * number is operating-system dependent.
 *
 * @return thread priority
 * @exception DebugException if this method fails.  Reasons include:
 * <ul><li>Failure communicating with the VM.  The DebugException's
 * status code contains the underlying exception responsible for
 * the failure.</li>
 */
public int getPriority() throws DebugException;

Could IThread.getPriority() return a String instead?