Compiler bug in 10.1.3 EA1? get "Internal compilation error" with EnumSet

Question

The code sample below generates "Error: Internal compilation error, terminated with a fatal exception" when doing make. It's a very simple example, it creates an EnumSet with one element and dumps it via the "toString()" method.
If I change the line:
"EnumSet set = EnumSet.of(Buttons.ONE);"
To:
"EnumSet set = EnumSet.allOf(c);"
It works fine. For some reason the "of" method of "EnumSet" crashes the compiler.
Any ideas?
========================================
package mypackage;
import java.util.EnumSet;
public class EnumDemo
enum Buttons { ONE, TWO, THREE }
public EnumDemo()
public void dump()
          Class c = Buttons.class;
          EnumSet set = EnumSet.of(Buttons.ONE);
          System.out.println(set.toString());
public static void main(String[] args)
EnumDemo cls = new EnumDemo();
cls.dump();
==============================

Answer 1

package com.esp.main;
import java.awt.Dimension;
import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
import javax.swing.JTree;
import javax.swing.event.TreeModelEvent;
import javax.swing.event.TreeModelListener;
import javax.swing.event.TreeSelectionEvent;
import javax.swing.event.TreeSelectionListener;
import javax.swing.tree.DefaultTreeModel;
import javax.swing.tree.TreePath;
public class TreeNavigator extends JTree {
private FormMain fm;
public TreeNavigatorNode selectedTreeNode;
public TreePath selectedTreePath;
public JTree thisTree;
public TreeNavigator(FormMain pFM) {
fm = pFM;
thisTree = this;
addTreeSelectionListener(new TreeSelectionListener() {
public void valueChanged(TreeSelectionEvent e) {
selectedTreeNode = (TreeNavigatorNode)thisTree.getLastSelectedPathComponent();
if (selectedTreeNode == null) {
return;
selectedTreePath = e.getPath();
addMouseListener(new MouseAdapter() {
public void mouseReleased(MouseEvent e) {
if (e.getClickCount() == 1) {
doPopup(e.getX(), e.getY());
String nodeInternalFrameClassName = selectedTreeNode.getInternalFrameClassName();
String nodeNodeTypeDesc = selectedTreeNode.getNodeTypeDesc();
if ((selectedTreeNode != null) && (nodeNodeTypeDesc.equals("FORM") || nodeNodeTypeDesc.equals("GRAPH"))) {
fm.showInternalFrame(nodeInternalFrameClassName, fm, null);
} else if (e.getClickCount() == 1) {
TreePath path = thisTree.getClosestPathForLocation(e.getX(), e.getY());
thisTree.setSelectionPath(path);
public void doPopup(int x, int y) {
if ((selectedTreeNode != null) && selectedTreeNode.nodeTypeDesc.equals("MODULE")) {
fm.cm.sendString("Do Nothing");
} else {
fm.cm.sendString("Launch form");
setEditable(false);
setMaximumSize(new java.awt.Dimension(3200, 3200));
setPreferredSize(new java.awt.Dimension(800, 100));
setShowsRootHandles(false);
setLargeModel(false);
setRootVisible(false);
setDragEnabled(false);
DefaultTreeModel treeNavigatorModel = new DefaultTreeModel(fm.treeNavigatorNodeArray[fm.rootNode], true);
treeModel.addTreeModelListener(new NavigatorTreeModelListener());
setModel(treeNavigatorModel);
expandAll(this);
try {
jbInit();
} catch (Exception e) {
e.printStackTrace();
public void expandAll(JTree tree) {
int row = 0;
while (row < tree.getRowCount()) {
tree.expandRow(row);
row++;
private void jbInit() throws Exception {
this.setSize(new Dimension(286, 383));
TreeNavigatorCellRenderer renderer = new TreeNavigatorCellRenderer(fm);
this.setCellRenderer(renderer);
class NavigatorTreeModelListener implements TreeModelListener {
public void treeNodesChanged(TreeModelEvent e) {
TreeNavigatorNode node;
node = (TreeNavigatorNode)(e.getTreePath().getLastPathComponent());
* If the event lists children, then the changed
* node is the child of the node we've already
* gotten. Otherwise, the changed node and the
* specified node are the same.
try {
int index = e.getChildIndices()[0];
node = (TreeNavigatorNode)(node.getChildAt(index));
} catch (NullPointerException exc) {
public void treeNodesInserted(TreeModelEvent e) {
public void treeNodesRemoved(TreeModelEvent e) {
public void treeStructureChanged(TreeModelEvent e) {
}