import java.awt.Font;
import java.awt.GridLayout;
import java.awt.MediaTracker;
+import java.io.File;
import java.text.DecimalFormat;
+import java.util.HashMap;
+import java.util.Map;
import javax.swing.ImageIcon;
import javax.swing.JButton;
{
public static void main(String[] args)
{
- new JalviewJSTest().doTest();
+ new JalviewJSTest().doTest2();
}
+ void doTest2() {
+ Map<File, String> map = new HashMap<>();
+ File f1 = new File("/var/folders/y/xyz");
+ File f2 = new File("/var/folders/y/xyz");
+ map.put(f1, "hello world");
+ System.out.println(map.get(f2));
+ }
/**
* Put some content in a JFrame and show it
*/
void doTest()
{
+ System.out.println("ab;c;".split(";"));
new DecimalFormat("###,###").format((Integer) 1);
JFrame main = new JFrame();
main.setDefaultCloseOperation(WindowConstants.EXIT_ON_CLOSE);