equal
deleted
inserted
replaced
330 */ |
330 */ |
331 private transient int unusedMarks = 0; |
331 private transient int unusedMarks = 0; |
332 |
332 |
333 private transient ReferenceQueue<StickyPosition> queue; |
333 private transient ReferenceQueue<StickyPosition> queue; |
334 |
334 |
335 final static int GROWTH_SIZE = 1024 * 512; |
335 static final int GROWTH_SIZE = 1024 * 512; |
336 |
336 |
337 // --- gap management ------------------------------- |
337 // --- gap management ------------------------------- |
338 |
338 |
339 /** |
339 /** |
340 * Make the gap bigger, moving any necessary data and updating |
340 * Make the gap bigger, moving any necessary data and updating |