5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException} |
9 import java.lang.{ClassLoader, ClassNotFoundException, NoSuchMethodException} |
10 import java.io.{FileInputStream, BufferedInputStream} |
|
11 import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font, |
10 import java.awt.{GraphicsEnvironment, Image, Component, Container, Toolkit, Window, Font, |
12 KeyboardFocusManager} |
11 KeyboardFocusManager} |
13 import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics} |
12 import java.awt.font.{TextAttribute, TransformAttribute, FontRenderContext, LineMetrics} |
14 import java.awt.geom.AffineTransform |
13 import java.awt.geom.AffineTransform |
15 import javax.swing.{ImageIcon, JOptionPane, UIManager, JLayeredPane, JFrame, JWindow, JDialog, |
14 import javax.swing.{ImageIcon, JOptionPane, UIManager, JLayeredPane, JFrame, JWindow, JDialog, |