import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
-import javax.swing.filechooser.FileNameExtensionFilter;
-import javax.swing.table.*;
-import javax.swing.event.*;
import java.io.*;
-import java.util.*;
import java.text.*;
-import java.util.prefs.*;
import java.util.concurrent.*;
class FireButton extends JButton {
public void actionPerformed(ActionEvent e) {
String cmd = e.getActionCommand();
- System.out.printf("cmd %s\n", cmd);
if (cmd.equals("armed") || cmd.equals("igniter")) {
stop_arm_timer();
}