Semi-Automatic Region-Based Memory Management for Real-Time Java Embedded Systems