If you double click the server there is a "open launch configuration" under
which there is a tab where you can choose which Java is used to launch the server with.
btw. which java vm are you using ?
Posted by forums
Original post:
https://community.jboss.org/message/840081#840081