equal
deleted
inserted
replaced
754 * |
754 * |
755 * @param msg message string to print |
755 * @param msg message string to print |
756 * @see #getUI |
756 * @see #getUI |
757 */ |
757 */ |
758 protected void getUIError(String msg) { |
758 protected void getUIError(String msg) { |
759 System.err.println("UIDefaults.getUI() failed: " + msg); |
|
760 try { |
759 try { |
761 throw new Error(); |
760 throw new Error(msg); |
762 } |
761 } |
763 catch (Throwable e) { |
762 catch (Throwable e) { |
764 e.printStackTrace(); |
763 e.printStackTrace(); |
765 } |
764 } |
766 } |
765 } |