public void mousePressed(MouseEvent e) {
if (e.getClickCount() == 2) {
int tabIndex = javaFilesTabbedPane.getUI().tabForCoordinate(
javaFilesTabbedPane, e.getX(), e.getY()); // 找到双击的标签页
if (tabIndex == -1) { return; }
removeTab(javaFilesTabbedPane, tabIndex, javaFiles); // 删除标签页
}
}