Index: main/MapEditor.java
===================================================================
--- main/MapEditor.java	(revision 0b84f1393aa259d929580f831cf668c101ca9451)
+++ main/MapEditor.java	(revision 6d094e400e49314395b9e8ce3e74b1a9a647a497)
@@ -716,5 +716,5 @@
         final int xMap = x / 40;
         final int yMap = y / 40;
-        final ArrayList[] tiles = new ArrayList[9];
+        final ArrayList<Tile>[] tiles = new ArrayList[9];
         final GroundType[] middle = this.getBreakdown(tile);
         final GroundType[] breakdown = new GroundType[4];