Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems