# HG changeset patch
# User one
# Date 1424054205 -32400
# Node ID f26535302c9617e2934e500fea10837dcae0f1eb
# Parent  809f813d1083c4bc7ccbf4df420e9fe459c1d14b
minner change

diff -r 809f813d1083 -r f26535302c96 src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/InterfaceTraverser.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/InterfaceTraverser.java	Tue Feb 10 11:28:39 2015 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/shoshi/jungle/traverser/InterfaceTraverser.java	Mon Feb 16 11:36:45 2015 +0900
@@ -60,15 +60,6 @@
     IndexCreater creater = new IndexCreater(node);
     long t2 = System.currentTimeMillis();
     System.out.println("createIndex time = " + (t2 - t1));
-//    File file = new File("./time/createParentIndex");
-//    try {
-//      PrintWriter pw = new PrintWriter(new BufferedWriter(new FileWriter(file,true)));
-//      pw.println((t2 - t1));
-//      pw.close();
-//    } catch (IOException e) {
-//      // TODO Auto-generated catch block
-//      e.printStackTrace();
-//    }
     index = creater.getIndex();
     parentIndex = creater.getParentIndex();
   }
diff -r 809f813d1083 -r f26535302c96 src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java
--- a/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java	Tue Feb 10 11:28:39 2015 +0900
+++ b/src/main/java/jp/ac/u_ryukyu/ie/cr/tatsuki/jungle/store/index/ParentIndex.java	Mon Feb 16 11:36:45 2015 +0900
@@ -14,7 +14,6 @@
   private TreeMap<TreeNode, TreeNode> parentIndex;
 
   public ParentIndex() {
-    System.out.println(System.getProperty("java.version"));
     parentIndex = TreeMap.empty(TreeMapOrd.treeNodeOrd);
   }